Court: violating copyleft = copyright infringement