Den lyder ordagrant sålunda: