Thomasschänke is a pub.