Saken förhöll sig helt enkelt sålunda: