Merkmal Macker (Coq, 1985)