Отправить по sms: Mehrsortige Prädikatenlogiken und Klassentheorien /