Med saken förhåller sig sålunda: