Ich möchte die einheimischen Sender über Antenne und einige ausländische Sender per Satellit empfangen. Wie kann ich je nach Bedarf zwischen diesen beiden Empfangsmodi schnell umschalten?