Mine Me but Don’t Single Me Out: Differentially Private Event Logs for Process Mining Romy 20 March 2023