The teaching page of Marek Krcal has been replaced.