Petras Schlemmerstübchen is a restaurant.