Mittlerweile nennt sich das Restaurant: "Pfefferkorn am Markt"