Russian-German technical dictionary, 1942