har följande lydelse :”