Det lydde ordagrant sålunda: