halft dussin torpedobåtar , i hvilkas maskiner skall användas petroleumi