Otto's Leiterwagen is a pub.