The Castelinho da XV, now a Havan department store, is a replica of the city hall of Michelstadt, Germany.