Local_class_field_theory loading ...