On Ackermann's set theory - Grewe, Rudolf (1966)