Enforcement of the GNU GPL in Germany and Europe