Micky's Marktschänke is a pub.