Local Kronecker–Weber