manstörtade domhotellet , men ingen skadades.