Paul Schneider, the Pastor of Buchenwald;