Mengenlehre - Schärf, Julius 1925-2000 (1973)