har den följande lydelse: