Wie hoch ist das Zwölferhorn?