Om olyckan i Berlins kungliga skådespelshus,