Bernard Metzler, IBM Research, Zurich