Title: Kollision der Rechte des Patentinhabers mit den Rechten des Bergwerkseigentümers