ha haft följande lydelse: