[688] Schwimmmaschinen, schwimmende Maschinen; dazu rechnet man die Schiffmühlen, schwimmende Springbrunnen, Rudermaschinen u.a. Maschinen zum Fortziehen der Schiffe, auch Schwimmkleider.