Hi,
these charging points deliver up to 400 kW on a single socket, but only 400 kW combined if both are in use?
This tagging is already in use for this:

charge_point:output = 400 kW
socket:type2_combo:output = 400 kW