Random House Webster's Pocket German Dictionary, 2nd Edition