“St. Michael’s Church (German: Hauptkirche Sankt Michaelis), colloquially called Michel, is one of Hamburg’s five Lutheran main churches (Hauptkirchen) and one of the most famous churches in the city.”