Flughafen BER – Probleme mit der Brandmeldung?