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