§ 23 - Ehrenamtlicher Richter aus Kreisen der Arbeitnehmer (ArbGG)