och hade denna lydelse: