9 ) lyder sålunda: