Title: Harrap's mini German dictionary