Miele - is a HEPA 13 a proper HEPA filter? Does anyone actually now? I know HEPA filters prevent 9.997% particles of 0.3microns in size from escaping into the atmosphere but does Miele's HEPA 13 also do this? It doesn't say anywhere on the website.