§ 20 - Regelungen für den öffentlichen Dienst (ArbSchG)