"pocket dictionary" Deutsche bedeutung