Deutsches Rechtswörterbuch (DRW): Großbürgermeister