FINM 37602 1 (Autumn 2017) Mathematical Market Microstructure w/o Rationality Assumptions