I have not been able to find the definition of the "curvature angle of the mirror"
Assuming the curvature angle = angle of incidence of the parallel ray, then the 9.5 degree arc of a circle,
resulting from the rotation of a radius curve by 9.5 degrees,
would be the curve to be revolved to form the mirror.

- Brian