Saken förhöll sig så: