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