Mini-Notebooks: HP springt auf