Take down Gaststätte Obertor's page

If you own or work at Gaststätte Obertor and don't want this directory page, we'll take it down straight away, and it won't come back.