Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik der Modelle. Gisbert Hasenjaeger — 1961 Jahresbericht der Deutschen Mathematiker-Vereinigung