Penkenjochhaus menù, Tux