Jägerkrug is a gastropub.