El edificio fue bombardeado en la segunda guerra mundial y seriamente dañado para ser restaurado poco después.