Fue destruido a consecuencia de los bombardeos de la Segunda Guerra Mundial, en 1945.