Danke für den Hinweis! 
Es ist derzeit geschlossen. Ob das dauerhaft ist oder das Restaurant vielleicht nach einem Umbau wieder eröffnet, kann ich nicht sagen. Jedenfalls ist es jetzt erst mal auf "disused" gesetzt.