Detta tillägg lyder sålunda: