Invited talk at IBM Research Center (Zurich)