Saken förhöll sig sålunda: