Domstolens dom den 4 juli 2000.