Highlights of condensed-matter theory : Varenna on Lake Como, Villa Monastero, 28 June - 16 July, 1983