Lindeneck Isling is a pub.