Course 6 - Immi HALUPCZOK: Model theory of motivic integration. - Amphi Darboux