Sålunda lär det ha inträffat,