Vocabulary of German Military Terms and Abbreviations, Revised to 1942