Saken förhåller sig i korthet sålunda: