Hosteatern i Darmstadt har i tisdagsnedbrunnit