Semicircle law, Wigner random matrices, level repulsion, Wegner estimate, density of states, localization, extended states