borde få följande lydelse: