As a complement to a noble HP Notebook 13,3er came for me only an HP mouse in question. The chic little thing works very well even with larger hands, keys respond precisely with the shortest stroke. Only the scroll wheel has coarse detents and is, one can say, "loud". In Office continuous use me this would annoy with temporary mobile use, when hardly scrolled is (which is thus noticed) plays this does not matter. So to sum it: small, smart, functional.
POSTSCRIPT: After the first mouse stopped working after 2 years, I've bought back a the same type. This did not work for 2 months already :-(