Firmanavne, navne på tjenester og produktnavne anvendt i disse instruktioner er varemærker eller registrerede varemærker tilhørende deres respektive firmaer.