Entwicklung der Zahl der hauptberuflichen Professor*innen in Nordrhein-Westfalen nach Besoldungsgruppen