Durante la Segunda Guerra Mundial, resultó gravemente dañado en un bombardeo en 1944, siendo echado a pique en los días finales de la guerra.