Einen HDMI-Switch gibt's schon für einen Zehner. Dann muss man halt umschalten.