The construction of ALE spaces as hyper-Kähler quotients