Sollte passen, Ixion wird aber zweimal gerufen (sind ja auch zwei verschiedene Ixions)