cristallum, cristallini lapis Historical name