Anfonwch hwn fel neges destun: Undecidability of universality for timed automata with minimal resources