Was genau der Michlbühel ist, ist sehr unsicher, sh. auch Wikipedia. Ein Bühel ist zuerst mal ein Hügel, kein Pass. Leider konnte ich noch nicht herausfinden, woher die ÖK50 den Namen hat. In Karten vor 1900 scheint er nicht auf. Basemap verortet ihn klar am Rücken südlich des Trariegels, aber basemap irrt oft erheblich.