Hungarian heavy industries (Hungarian Heavy Industries Foreign Trade, 1940)