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