Formal Complex Multiplication in Local Fields — latest news, discussion & facts — IJR