Alternate Definitions for Gerdtremmelite

include archived terms