Lindehöfli is a pub.