En 1842, Hartmann investigó la cúpula principal, pero sus descubrimientos aún no se conocen.