Saken har sålunda tillgått: