[827] Krippenstein, 1) Berg bei Hallstädt in Österreich ob der Enns (Traunkreis), 6712 Fuß hoch; 2) Berg im steyerischen Kreise Bruck, südlich von Aufsee, auf der Grenze gegen Österreich.