Mülhauser Stüble is a pub.