Deutsches Richtergesetz

Deutsches Richtergesetz in der Fassung der Bekanntmachung vom 19. April 1972 (BGBl. I S. 713), das zuletzt durch Artikel 132 der Verordnung vom 31. August 2015 (BGBl. I S. 1474) geändert worden ist