[723] Spezialschiffe, Beischiffe der Kriegsflotten, die für besondere Zwecke, z. B. als Werkstättenschiffe, Pumpendampfer, Kohlenschiffe, Munitionsschiffe, Lazarettschiffe, Minenstreuschiffe (s. Minendampfer), ausgerüstet sind.[723]