Chebotarev formations and quantitative aspects of non-unique factorizations Franz Halter-Koch (1992) Acta Arithmetica