Added a presentation on FEs for Grushin-type operators.