D-modules in characteristic p and applications (University of Bonn, SS2022)