Introduction to model theory by P. Rothmaler