^{Restaurant Zum Deutschen Eck}