detta » Hotel de ville » for revolutionernas hufvudqvarter.