Och sålunda framgick det,