Oud-burgemeester Amsterdam Ed van Thijn (87) overleden