Falls es jemanden interessiert: Es hiess, die Stereo-Funktion für HomePods sei nur zwischen gleichen Modellen möglich, also Mini und Mini und "Maxi" und "Maxi". Nun kam aber ein Update, und ohne dass ich weitere Einstellungen hätte vornehmen müssen, habe ich jetzt direkt in AirPlay die Option, alle meine drei HomePods gleichzeitig auszuwählen (zwei grosse und einen kleinen). SUPER!