Algebraic Number Theory 2, summer 2023