Gasthaus Holzwurm is a pub.