Zum alten Wilhelm is a pub.