Hello,    Trying to choose between Gaggenau extraction (tabletop that comes out of the counter, or integrated similar to Bora) and Bora.    I've read a lot about Bora basic but very little about how efficient (or not) Gaggenau is in comparison. Or Miele, for that matter. The only posts that had comparisons are old enough to get updated views from you all.  -> For owners of a  Gaggenau or a Miele extractor: - are you happy with how it removes smells, and with the