§ 72: Juristenrecht und Richterrecht