Translation of "Pocket translator" in German