korta tiden , som åtgår lill kokningen , oell hvilken i vissa händelser torde kunna ännu mera förkortas,