Döderlein: Gattung Fungia 
