Rock-pressure control devices with or without alarm devices; Alarm devices in case of roof subsidence