White dwarfs proceedings of the 9th European Workshop on White Dwarfs, held at Kiel, Germany, 29 August - 1 September 1994 (Springer, 1995)