jon , Ernst Leonard , d.