Lithops hallii, de Boer (1957)