Saken hade tillgått så: