Wie viele Restaurants gibt es aktuell im Saarland, die mindestens mit einem Michelin-Stern ausgezeichnet sind? Sind es fünf oder sieben?