Stav dette: Mehrsortige Prädikatenlogiken und Klassentheorien /