International maritime dictionary : an encyclopedic dictionary of useful maritime terms and phrases, together with equivalents in French and German