File:Löwenheim.jpg