§ 80 - Entschädigung der ehrenamtlichen Richter (WPO)