A restaurant called Altstadt-Schmankerl.