Adelic_algebraic_group loading ...