Saken förhåller sig nämligen så: