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