Die Oma with my ex-wife Judy in 1975. I never knew Oma's real name, everybody just called her Oma — she was everybody's granma. Turns out her last name was Coressel, which was a family that had been in Hohenecken at least since 1717. In 1975 the Gasthaus had become a popular hotel; upon checking in we learned der Opa had died. Apparently it kept expanding over the years, still in the Coressel family, until it was a popular conference center. But as of November 2020 it had closed permanently, perhaps because of the COVID-19 virus.