Was tun wenn der HDMI Anschluss an der PS4 kaputt ist?