A review of German case law on the GNU General Public License