Invia SMS: Formale Auslegung ökologischer Konzepte