Summer School on DG theory and Derived Categories