Anderson-Higgs mechanism