Informatik und allgemeine Modelltheorie - eine Einführung