Originally in German, this is a best-effort translation by the author.