Mischen von zwei Stereo-Signalen auf ein Stereo-Signal

Hallo zusammen,

ich habe etwas eher ungewöhnliches vor. Und zwar haben wir im Wohnzimmer seit kurzem einen Amazon Echo Dot. Dieser wird hauptsächlich für Lichtsteuerung und Musik genutzt, wobei die integrierten Lautsprecher natürlich Murks sind. Nun gibt es beim Echo Dot die Möglichkeit, ihn entweder per Bluetooth oder Klinke-Anschluss an externe Wiedergabegeräte anzuschließen.
Nun kann ich ihn natürlich an den bereits vorhandenen AV-Receiver/Verstärker einfach per Klinke->Cinch-Kabel anschließen, doof ist nur, dass ich dann am Verstärker immer den Input wechseln muss, für einen Sprachassistenten der dauerhaft benutzbar sein soll natürlich doof.
Ich möchte nicht irgendwelche Eingänge umschalten, wenn ich per Echo Dot Musik hören möchte oder mir den neusten Flachwitz von Alexa vorgelesen bekommen will.

Da derzeit als einzige, weitere Signalquelle nur der TV benutzt wird war meine Idee, dass man vielleicht das Signal des TVs und das vom Echo Dot zusammen mischen könnte.
Nun die Frage, geht sowas technisch? Ich habe ein bisschen recherchiert und dieses Produkt gefunden:
https://www.thomann....92cb25771ae62f1d2f6e

Oder gibt es da etwas besseres? Noch viel toller wäre natürlich ein Gerät, bei welches eine Art automatisches Muting mitbringen würde, so dass man bspw. einstellen kann, dass Input A gemutet werden soll, wenn Input B etwas "sendet". Dazu konnte ich aber nichts finden.