Im Rahmen erlaubter Arbeitnehmerüberlassung überließ die Beigeladene zu 0. den Kläger im streitigen Zeitraum an die Beigeladene zu 0. , einen knappschaftlichen Betrieb iS von [REF] .
[REF] enthält die Grundregel , dass Versicherte , die in einem knappschaftlichen Betrieb im Sinne des [REF] beschäftigt sind , der knappschaftlichen Rentenversicherung unterliegen .