Wie hoch ist die Mühlenkopfschanze?