Right of prior use in German case law