Huruvida slutligen 1882 års Hotel de Ville har fullkomligt samma dimensioner som 1870 års,