Das Biographische Handbuch der deutschsprachigen Emigration nach 1933 - zur Mühlen, Patrik von