Use of brand names

All used brand names (eg Sony, Philips, Samsung, etc.) are registered
trademarks of the respective companies, even if they are not specially marked as such.