Hilbert_class_field loading ...