Paul Ernst, eine Biographie in Briefen und anderen Dokumenten