Das Reichsgesetz, betreffend die privatrechtlichen Verhältnisse der Binnenschiffahrt, vom 15. Juni 1895 unter Berücksichtigung der ergänzenden Bestimmungen der Gewerbeordnung und des Handelsgesetzbuches