Saken förhöll sig sålunda,