det , der PragerMaskinenbaugesellschaft