Manis Valuations and Prüfer Extensions I by Manfred Knebusch & W. Demtroder