Mainz unter den glücklichsten Städten Deutschlands – wo stehen wir?