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