Nur wenn er so geraucht hat, daß die Feuerwehr gekommen ist, könnte vielleicht mehr kaputt sein.
Ich weiß ja nicht, ob sich der Vorfall im Freien oder in der Halle ereignet hat. Wenn aber durch den Rauch ein Brandmelder ausgelöst hat, kommt automatisch die Feuerwehr.