Gesamtgericht, Urteil vom 9. Juli 1980
Gegen das Urteil wurde beim Bundesgericht verwaltungsgerichtliche Beschwerde erhoben; sie wurde abgewiesen.