ersättning för hvad tiden blefve kortare.