Αποστολή με SMS: Algorithmensynthese für lineare Systeme mit Symmetrie /