The cards arrived today and seem to be working.
I installed two 2 port cards so that we have 4 10GBit Ports now
In the webfrontend they appear as

Intel Corporation 82599EB 10-Gigabit Network Connection (rev 01)

Tomorrow I will make some performancetests.