Döderlein: Gattung Fungia. 
