Saken förhöll sig på följande sätt: