I found this picture yesterday and scanned it. I couldn't remember where it was taken, but today I recognized these plants at the arboretum greenhouse, slighter larger. The little signs give the latin names. The large trio are "astrophytum ornatum."