Wie hoch ist die Rohrkopfhütte?