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