Deutsches Rechtswörterbuch (DRW): Oberfahrwasserbüchlein