"Punishment of disciplinary offences" Deutsche bedeutung