RICHTERDIENSTGESETZ.1980.