Dessa båda handlingar lyda sålunda: