The winding angle distribution of an ordinary random walk