$ETH hat die Gruppe verlassen,