"Internasjonal domstol" er et 21-bokstavers substantiv som brukes som synonym for "forbundsdomstol". forbundsdomstol betyr: Domstol med internasjonal jurisdiksjon