Krell, Nicolaus — entry in the Allgemeine Deutsche Biographie