EP2017729B1 - Method and System for Transferring an Application State from a First Electronic Device to a Second Electronic Device