Det var ganska kort och löd sålunda: