How to get audio from Nuendo to play through HDMI TV?

Actually, there is a multi-client ASIO driver somewhere, right? I think it’s unsupported though…