Un piano del risanamento del quartiere di Josefov, eseguito fra la fine del XIX e l’inizio del XX secolo / A plan for the restructuring of Josefov district, carried out between the end of the 19th and the beginning of the 20th century