hade nämligen följande lydelse: