to revoke or vary - German English Dictionary