naval auxiliaries - German English Dictionary