§ 80 - Deutsches Richtergesetz (DRiG)