1. Norbert Klingen, Leopoldt's conjecture for imaginary Galois number fields, J. Symbolic Comput. 10 (1990), no. 6, 531–545.[MR]