Holzwurm is a pub.