Wehrmachtdisziplinarstrafordnung (WDStO) : vom 6. Juni 1942 (Mittler, 1942)