Раздел § 12. Тип Губки