pert:
Then you need to select Tools > Board > Arduino/Genuino Micro.
Now I get this message
Arduino: 1.8.5 (Windows 10), Board: "Arduino/Genuino Micro"
Build options changed, rebuilding all
Sketch uses 5192 bytes (18%) of program storage space. Maximum is 28672 bytes.
Global variables use 254 bytes (9%) of dynamic memory, leaving 2306 bytes for local variables. Maximum is 2560 bytes.
avrdude: butterfly_recv(): programmer is not responding
avrdude: butterfly_recv(): programmer is not responding
avrdude: butterfly_recv(): programmer is not responding
avrdude: butterfly_recv(): programmer is not responding
avrdude: butterfly_recv(): programmer is not responding
Found programmer: Id = "þ"; type = ¸
Software Version = h.