Title: A dictionary of German-English English-German naval equivalents