WTF ... that was a great place and a classic restaurant I always went to when I was in the city. This is an historic place that shouldn't even be allowed to close.
I would rather see places like this in a downtown core than another fast food junk joint or another over priced coffee shop.
It's about as close as you're going to get to visiting a country German restaurant outside of Germany.