Tylecodon bayeri, van Jaarsv. (1988)