astronomen , doktor Frans von Paula Gruithuisen.