To appear in the proceedings of the conference on Rigorous Results in Quantum Mechanics, Prague, June 1998