It depended on the focus, I think. But I think you're right: I believe Theoretische Informatik was a Diplom study at my university, but there was a related study that used Magister (computational linguistics and humanities computer science, which of course had overlaps with the respective general fields).