Gasthaus Bei Heidi is a pub.