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

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