#Deutsche_Mark__mark__Deutschmark  the basic unit of money in Germany
  supertype:  #German_monetary_unit  monetary unit in Germany
  part:  #pfennig  100 pfennigs equal 1 Deutsche Mark

No statement uses or specializes #Deutsche_Mark; click here to add one.