Traditional Tyrolean cuisine awaits at Gasthaus Mariathal, a historic restaurant with multiple dining areas and a summer garden.