Title: Über die Girardsche Schiffschleuse mit Schwimmer