Die elementare Theorie der henselschen Körper - Ziegler, Martin (1972)