Está nombrado por la ciudad alemana de Jena.