Modelltheorie f?r Linguisten