Wie hoch ist der Hamburger Michel?