Formale Überqualifikation und Arbeitszufriedenheit von Arbeitskräften: Wie beeinflusst die Berechnungsart das Ergebnis