SMS dit: Untersuchungen zur Modelltheorie /