Energy spectrum of subthreshold K− produced in relativistic nuclear collisions