<html> <head>
<meta http-equiv="refresh" content="0; url=https://r3.pages.uni.lu/school/basic.git.slides/stable"/>
</head> <body> </bod>
</html>