Jubilación del empresario: ¿Qué derechos y opciones tiene el trabajador si el empresario se jubila?.-