Fig. 7. Manufacturing output of the German mining equipment industry. // Bild 7. Produktion der deutschen Bergbaumaschinenindustrie.