Nach Informationen des Betriebsrats wird die Arbeitszeit die Gestern durch die Bombenentschärfung ausgefallenen ist, durch den Arbeitgeber bezahlt.