Entwicklung der Zahl der hauptberuflichen Professor*innen in Bayern nach Besoldungsgruppen