I think they used a 90 degree rotational filter. Otherwise known as a cylindrical lens at 45 degrees. Fun experiment - try it sometime - fill a glass tube with water and rotate it and watch the environment spin at twice the rotation rate of the tube. In the days before digital I think this is how they used to do "the world is spinning" effects for TV/movies.