Hi Thirsty Traveler,

thanks for pointing this out. I have found the new location, somebody already mapped it as https://www.openstreetmap.org/node/10735133507, so the question now is:

Is there a new restaurant at their old location or are the premises still vacant?

K