SMS dit: Mehrsortige Prädikatenlogiken und Klassentheorien /