Byggnadsraset i Berlins kungliga teater.