Разработка мощных каменноугольных пластов за границей на рудниках Германии, Польши и Чехословакии