Därmed förhöll sig sålunda: