Master Informatik (2023) Electives AI & Data Modules in the area of AI & Data Theoretical Computer Science Modules in the area of Theoretical Computer Science