in reply to Rotate a 3D vector

How would you do this by hand?