Stilzwijgend einde van octrooigeschil waar zeven jaar geleden de vonken vanaf spatten. Partijen geven geen uitsluitsel over de inhoud van hun afspraken.