Wie hoch ist der höchste Baukran?