Deutsches Richtergesetz

Deutsches Richtergesetz in der Fassung der Bekanntmachung vom 19. April 1972 (BGBl. I S. 713), das zuletzt durch Artikel 9 des Gesetzes vom 8. Juni 2017 (BGBl. I S. 1570) geändert worden ist