Bei registrierten Namen, Warenzeichen usw., die in diesem Dokument genannt werden, ist nicht davon auszugehen, dass sie gesetzlich nicht geschützt sind, auch
wenn sie nicht ausdrücklich als registrierter Name bzw. registrierte Marke gekennzeichnet sind.