Etymologisches Wörterbuch der deutschen Seemannssprache by Gustav Goedel