Ein eigentlich abgeschalteter Melder hatte aus ungeklärter Ursache ausgelöst – kein weiterer Einsatz erforderlich.
