pocket sextant - German English Dictionary