Despido por ayuntamiento, el trabajador gana y el ayto. opta por la indemnización. El juzgado le da un plazo de un mes para que ecredite el cumplimiento de la St., pasado ese plazo si no paga, tiene el trabajador que solicitar la ejecución o lo hace el juzgado de oficio?.