Sin embargo, fue devastado en febrero de 1945 durante un bombardeo de la Segunda Guerra Mundial.