Saken förhöll sig i korthet sålunda: