pocket german dictionary (Harper Collins, 2000)