[710] Granītmarmor, granitähnlich gefleckter, von zahlreichen kleinen Korallen und einzelnen Nummuliten erfüllter Kalkstein, südbayr. Alpen.
Lueger-1904: Granite petit, Granitmarmor
Meyers-1905: Granitmarmor