rotation of a given vector - German English Dictionary