Tobias, the following are the ram specs for your machine.
The brand of RAM doesn't matter. What are important are the speed, 1600 MHz, and the type, DDR3 SDRAM. There is no need to spend money on faster specs as this is the fastest it will run.

Memory

Max Supported Size 8 GB
Technology DDR3 SDRAM
Speed 1600 MHz
Form Factor SO-DIMM 204-pin
Slots Qty 2
Empty Slots 1

In conclusion buying any brand of DDR3 SDRAM at 1600 MHz will run fine in your machine.

On a side note I had to increase my laptop ram from 4 to 8 gigs because even without using it for music it was a dog with Win 10. 8 gigs is the bare minimum for any 64 bit Windows machine IMHO.

I hope this helps.

Whenever I get something stuck in the back of my throat, I dislodge it by drinking a beer.
It's called the Heineken Maneuver.

64 bit Win 10 Pro, the latest BiaB/RB, Roland Octa-Capture audio interface, a ton of software/hardware