Fue dañado por dos bombardeos aliados en mayo de 1944.