>>8099026
this section actually turned got renamed during/after WW2 and eventually turned into a hotel.

>>8097327
modern pic related after 10 yrs or so of renovation works.