Formale Auslegung ökologischer Konzepte