Det var mycket kort och lydde sålunda: