The last post on the restaurant's Facebook profile is from May 5 this year (however, it does not mention the closure). Until then, new posts appeared there regularly. This seems to confirm that it has been closed, so I changed the tag to shop=vacant.