i guess multiplying the vector with a rotation matrix would be easiest.