Editing, e.g. varying the order of information signals recorded on, or reproduced from, record carriers