blifva af samma storlek som den förut i Stockholm befintliga minbåten Rolf.