Saken har gått till sålunda: