»Google Home Mini: Kompakter Echo-Dot-Konkurrent soll am 4. Oktober kommen«, via @ifun —