Invia SMS: Deduktion. Automatisierung der Logik /