GNU GPL and European law