behagade införa följande räitelse: