Saken förhåller sig sålunda: