The Home Page of Adam Miranowicz has been moved to https://miran.web.amu.edu.pl/