Markov Automata with Multiple Objectives: Supplemental Material - Quatmann, Tim (2020)