Rotating a Vector around a given Direction