Firmanavne, tjenestenavne og produktnavne, som brukes i denne bruksanvisningen, er varemerker eller registrerte varemerker som tilhører sine respektive eiere.