有一捆电线长20米，工人师傅第一次用去0.85米，第二次又用去1.25米，这时电线比原来短了多少米？