August Johann Michael Encke — Lutheran theologian