Bundesgericht
Tribunal fédéral
Tribunale federale
Tribunal federal

2C 545/2018

Urteil vom 5. Oktober 2018

II. öffentlich-rechtliche Abteilung

Besetzung
Bundesrichter Seiler, Präsident,
Bundesrichter Zünd,
Bundesrichterin Aubry Girardin,
Gerichtsschreiber Klopfenstein.

Verfahrensbeteiligte
1. A.________,
2. B.________,
Beschwerdeführer,
beide vertreten durch Rechtsanwalt Martin Pestalozzi,

gegen

BKW Energie AG,
Beschwerdegegnerin,
vertreten durch Rechtsanwalt Walter Streit.

Gegenstand
Verfügung über Realakte (Nachweis zur Beherrschung des 10'000-jährlichen Hochwassers),

Beschwerde gegen das Urteil des Bundesverwaltungsgerichts, Abteilung I,
vom 16. Mai 2018 (A-4153/2016).

Sachverhalt:

A.

A.a. Die BKW Energie AG (nachfolgend: BKW) betreibt das Kernkraftwerk (KKM) Mühleberg. Im Frühjahr 2011 forderte das Eidgenössische Nuklearsicherheitsinspektorat (ENSI) die BKW auf, die Auslegung ihres Kernkraftwerks bezüglich Erdbeben und Überflutung zu überprüfen. Aufgrund der Ereignisse in Fukushima sah sich das ENSI dazu veranlasst, die Anlage insbesondere bezüglich möglicher Folgeschäden des Hochwassers - wie Verstopfung oder Zerstörung von Einlaufbauwerken durch Geschiebe und Schwemmgut - detailliert zu prüfen. Das ENSI forderte deshalb die BKW FMB Energie AG auf, den deterministischen Nachweis für die Beherrschung des 10'000-jährlichen Hochwassers unter den vom ENSI definierten Rahmenbedingungen zu führen. Nach einer durch eine Drittfirma durchgeführten Untersuchung legte die BKW am 30. Juni 2011 den geforderten Nachweis vor. Mit Aktennotiz ENSI 11/1481 vom 31. August 2011 (AN ENSI 11/1481) nahm das ENSI dazu Stellung. Dabei führte es zusammenfassend aus, dass das KKM den Nachweis unter den Vorgaben des ENSI erbracht habe. Unter konservativen Gefährdungsannahmen werde der Schutz der relevanten Gebäude und Einrichtungen bei einem 10'000-jährlichen Hochwasser als gewährleistet betrachtet und demnach die Überführung der Anlage
in den sicheren Zustand nachgewiesen. Am 20. März 2012 ersuchten A.________ in U.________ und B.________ in V.________ das ENSI um Erlass einer Verfügung über Realakte und beantragten im Wesentlichen, es sei festzustellen, dass für den Nachweis der Einhaltung der grundlegenden Schutzziele durch eine deterministische Störfallanalyse ausschliesslich sicherheitstechnisch klassierte Bauwerke und Ausrüstungen kreditiert werden dürfen und dass die vom ENSI im Rahmen seiner Aufsicht vorgenommene Kreditierung von Accident-Management, darunter insbesondere die Bespeisung des Notstandsystems mit mobilen Pumpen und unklassierter Einspeisestelle, widerrechtlich sei.

A.b. Das ENSI trat mit Verfügung vom 5. Oktober 2012 auf das Begehren von A.________ und B.________ nicht ein. A.________ und B.________ erhoben dagegen Beschwerde beim Bundesverwaltungsgericht. Mit Urteil vom 7. Februar 2013 hiess das Bundesverwaltungsgericht die Beschwerde gut und wies die Sache mit der Aufforderung zur materiellen Beurteilung des Gesuchs an das ENSI zurück. Eine vom ENSI dagegen erhobene Beschwerde wies das Bundesgericht am 11. April 2014 ab (Urteil 2C 255/2013 = BGE 140 II 315).

B.
Mit Verfügung vom 25. Mai 2016 stellte das ENSI fest, dass die mit der AN ENSI 11/1481 vorgenommene Kreditierung der Bespeisung des Notstandsystems des KKM mit mobilen Pumpen und mittels bezeichneter Einspeisestelle zur Beherrschung des 10'000-jährlichen Hochwassers rechtmässig sei. Zur Begründung führte es im Wesentlichen aus, der deterministische Nachweis sei aufgrund der Vielzahl und Diversität der nachgerüsteten Kühlwasserpfade in jedem Fall als erbracht einzustufen. So verfüge die Anlage neben dem bei Normalbetrieb aktivierten Zufluss von Kühlwasser über das Hauptkühlwassereinlaufbauwerk über weitere vier Einströmpfade (EP) zur Notkühlung, unter anderem den EP4 (Kühlwasserversorgung des SUSAN-Notstandsystems über eine Einspeisestelle mittels dieselbetriebener mobiler Pumpen). Mit dem Nachweis der Funktionstüchtigkeit des SUSAN-Notstandsystems bei einem 10'000-jährlichen Hochwasser sei das Kaltfahren der Anlage somit auch bei einem beliebigen Einzelfehler nachgewiesen. Ausserdem verfüge das Kernkraftwerk Mühleberg seit 2015 zusätzlich auch noch über die Möglichkeit einer direkten Wassereinspeisung aus dem nahegelegenen Hochreservoir Runtigenrain. Durch dessen Unabhängigkeit von der Aare verfüge das KKM damit über mindestens
eine diversitäre letzte Wärmesenke und liege somit über dem im Allgemeinen angewandten Stand der Technik.

C.
Gegen diese Verfügung erhoben A.________ und B.________ am 1. Juli 2016 Beschwerde beim Bundesverwaltungsgericht. Sie beantragten im Wesentlichen, die Verfügung des ENSI vom 25. Mai 2016 sei aufzuheben und es sei festzustellen, dass die im Rahmen der Aufsicht über das KKM vorgenommene Kreditierung von Accident-Management, insbesondere von mobilem Equipment und einer unklassierten Einspeisestelle, widerrechtlich seien. Im Weiteren sei das ENSI zu verpflichten, solche widerrechtlichen Aufsichtshandlungen zu unterlassen, sämtliche Aufsichtshandlungen, welche auf widerrechtlicher Kreditierung beruhen, zu widerrufen und deren Folgen zu beseitigen. Insbesondere sei das ENSI zu verpflichten, den Nachweis der Einhaltung der grundlegenden Schutzziele durch eine deterministische Störfallanalyse zu wiederholen. Zur Begründung führten die Beschwerdeführer im Wesentlichen aus, indem das ENSI im Rahmen seiner Aufsichtstätigkeit die unklassierte Einspeisestelle, mobile Pumpen und Accident-Management-Massnahmen für den deterministischen Sicherheitsnachweis bei Auslegungsstörfällen kreditiere, verstosse es gegen geltendes Recht.

D.
Mit Urteil vom 16. Mai 2018 erkannte das Bundesverwaltungsgericht:

"1. Die Beschwerde wird teilweise gutgeheissen.

Die angefochtene Verfügung vom 25. Mai 2016 wird aufgehoben und die Sache zur Neubeurteilung im Sinne der Erwägungen an die Vorinstanz zurückgewiesen. Im Übrigen wird die Beschwerde abgewiesen.

2. (Verfahrenskosten)

3. (Parteientschädigung)

4. (Eröffnung)."

E.
Mit Eingabe vom 25. Juni 2018 erheben A.________ und B.________ Beschwerde in öffentlich-rechtlichen Angelegenheiten an das Bundesgericht. Sie beantragen, das angefochtene Urteil aufzuheben, soweit damit ihre Beschwerde abgewiesen werde; es sei festzustellen, dass für den Nachweis der Einhaltung der grundlegenden Schutzziele durch eine deterministische Störfallanalyse ausschliesslich klassierte Bauwerke kreditiert werden dürften und dass die vom ENSI vorgenommene Kreditierung von Accident Management (insbesondere Bespeisung des Notstandsystems mit mobilen Pumpen und unklassierter Einspeisestelle) widerrechtlich sei und auch das unklassierte Hochreservoir Runtigenrain samt unklassierten Leitungen nicht kreditiert werden dürfe; das ENSI sei zu verpflichten, künftig solche widerrechtlichen Aufsichtshandlungen zu unterlassen, sämtliche Aufsichtshandlungen, welche auf solchen widerrechtlichen Kreditierungen beruhen, zu widerrufen und die Folgen dieser widerrechtlichen Aufsichtshandlungen zu beseitigen; insbesondere sei das ENSI zu verpflichten, den Nachweis der Einhaltung der grundlegenden Schutzziele ohne Kreditierung der widerrechtlichen Elemente zu wiederholen.
Das Bundesgericht hat keine Vernehmlassungen eingeholt.

Erwägungen:

1.

1.1. Die Beschwerde in öffentlich-rechtlichen Angelegenheiten gegen den angefochtenen Entscheid des Bundesverwaltungsgerichts ist grundsätzlich zulässig (Art. 82 lit. a
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 82 Principe - Le Tribunal fédéral connaît des recours:
a  contre les décisions rendues dans des causes de droit public;
b  contre les actes normatifs cantonaux;
c  qui concernent le droit de vote des citoyens ainsi que les élections et votations populaires.
, Art. 86 Abs. 1 lit. a
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 86 Autorités précédentes en général - 1 Le recours est recevable contre les décisions:
1    Le recours est recevable contre les décisions:
a  du Tribunal administratif fédéral;
b  du Tribunal pénal fédéral;
c  de l'Autorité indépendante d'examen des plaintes en matière de radio-télévision;
d  des autorités cantonales de dernière instance, pour autant que le recours devant le Tribunal administratif fédéral ne soit pas ouvert.
2    Les cantons instituent des tribunaux supérieurs qui statuent comme autorités précédant immédiatement le Tribunal fédéral, sauf dans les cas où une autre loi fédérale prévoit qu'une décision d'une autre autorité judiciaire peut faire l'objet d'un recours devant le Tribunal fédéral.
3    Pour les décisions revêtant un caractère politique prépondérant, les cantons peuvent instituer une autorité autre qu'un tribunal.
BGG) und die Beschwerdeführer sind zur Beschwerde legitimiert (Art. 89 Abs. 1
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 89 Qualité pour recourir - 1 A qualité pour former un recours en matière de droit public quiconque:
1    A qualité pour former un recours en matière de droit public quiconque:
a  a pris part à la procédure devant l'autorité précédente ou a été privé de la possibilité de le faire;
b  est particulièrement atteint par la décision ou l'acte normatif attaqué, et
c  a un intérêt digne de protection à son annulation ou à sa modification.
2    Ont aussi qualité pour recourir:
a  la Chancellerie fédérale, les départements fédéraux ou, pour autant que le droit fédéral le prévoie, les unités qui leur sont subordonnées, si l'acte attaqué est susceptible de violer la législation fédérale dans leur domaine d'attributions;
b  l'organe compétent de l'Assemblée fédérale en matière de rapports de travail du personnel de la Confédération;
c  les communes et les autres collectivités de droit public qui invoquent la violation de garanties qui leur sont reconnues par la constitution cantonale ou la Constitution fédérale;
d  les personnes, organisations et autorités auxquelles une autre loi fédérale accorde un droit de recours.
3    En matière de droits politiques (art. 82, let. c), quiconque a le droit de vote dans l'affaire en cause a qualité pour recourir.
BGG; BGE 140 II 315). Die Beschwerde ist indessen nur zulässig gegen Endentscheide (Art. 90
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 90 Décisions finales - Le recours est recevable contre les décisions qui mettent fin à la procédure.
BGG) sowie gegen Teilentscheide (Art. 91
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 91 Décisions partielles - Le recours est recevable contre toute décision:
a  qui statue sur un objet dont le sort est indépendant de celui qui reste en cause;
b  qui met fin à la procédure à l'égard d'une partie des consorts.
BGG), d.h. Entscheide, die nur einen Teil der gestellten Begehren behandeln, wenn diese Begehren unabhängig von den anderen beurteilt werden können (lit. a), oder die das Verfahren nur für einen Teil der Streitgenossen und Streitgenossinnen abschliessen (lit. b). Gegen Vor- und Zwischenentscheide ist die Beschwerde nur unter den Voraussetzungen von Art. 92
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 92 Décisions préjudicielles et incidentes concernant la compétence et les demandes de récusation - 1 Les décisions préjudicielles et incidentes qui sont notifiées séparément et qui portent sur la compétence ou sur une demande de récusation peuvent faire l'objet d'un recours.
1    Les décisions préjudicielles et incidentes qui sont notifiées séparément et qui portent sur la compétence ou sur une demande de récusation peuvent faire l'objet d'un recours.
2    Ces décisions ne peuvent plus être attaquées ultérieurement.
oder 93 BGG zulässig.

1.2. Ein Rückweisungsentscheid ist ein Zwischenentscheid, und zwar auch dann, wenn er materiellrechtliche Grundsatzentscheide enthält, die einen Teilaspekt einer Streitsache (z.B. eine von mehreren materiellrechtlichen Anspruchsvoraussetzungen) beantworten, aber die Sache zur Abklärung und Beurteilung weiterer Aspekte an die untere Instanz zurückweisen (BGE 133 V 477 E. 4.1.3 S. 481 und E. 4.2 S. 481 f.; 142 II 20 E. 1.2 S. 23 f.). Ausgenommen sind Rückweisungsentscheide, die nur der Umsetzung des oberinstanzlich Angeordneten dienen, ohne dass der unteren Instanz ein eigener Entscheidungsspielraum verbleibt; solche gelten als Endentscheide (sog. Quasi-Endentscheide; BGE 134 II 124 E. 1.3 S. 127 f.; 142 II 20 E. 1.2 S. 23 f.). Ein (Teil-) Endentscheid liegt auch vor, wenn bezüglich eines Teilaspekts, der unabhängig von anderen beurteilt werden kann, endgültig entschieden wird, bezüglich anderer Teilaspekte aber die Sache zurückgewiesen wird (BGE 135 V 141 E. 1.4 S. 144 ff.).

2.

2.1. Das Bundesverwaltungsgericht hat mit seinem Urteil die Verfügung des ENSI vom 25. Mai 2016 aufgehoben und die Sache zur Neubeurteilung im Sinne der Erwägungen an das ENSI zurückgewiesen. Es handelt sich somit grundsätzlich um einen Zwischenentscheid, zumal die Beschwerdeführer zu Recht nicht geltend machen, dem ENSI würde kein Entscheidungsspielraum mehr verbleiben. Die Beschwerdeführer berufen sich aber darauf, dass das Bundesverwaltungsgericht im Dispositiv seines Entscheids die Beschwerde ausdrücklich nur teilweise gutgeheissen, im Übrigen aber abgewiesen habe. Sie sind der Meinung, im Umfang dieser teilweisen Abweisung liege ein Endentscheid vor.

2.2. Das Bundesverwaltungsgericht hat zum Argument der Beschwerdeführer, die mobilen Pumpen sowie die Einspeisestelle könnten als sicherheitstechnisch nicht klassierte Ausrüstung nicht als qualifizierte Sicherheitssysteme der Schutzebene 3 gelten, erwogen, die geltende Rechtsordnung verlange nicht, dass auf der Sicherheitsstufe 3 nur sicherheitstechnisch klassierte - und demnach festinstallierte - (Sicherheits) systeme zum Einsatz gebracht werden dürfen (E. 5.5.4). Zur Bewältigung eines Auslegungsstörfalls der Sicherheitsebene 3 sei auch mobile Ausrüstung zuzulassen, sofern die notwendige Wirkung erwiesenermassen erzielt werde (E. 5.5.7). Das Konzept der gestaffelten Sicherheitsvorsorge sehe vor, dass die verschiedenen Sicherheitsebenen unabhängig voneinander seien; dieses Konzept würde ausgehöhlt, wenn die für eine bestimmte Ebene "reservierten" Mittel zugunsten der Behebung von Lücken auf einer anderen Ebene abgezogen würden (E. 5.6.1). Dennoch sage diese Konzeption nicht aus, dass Mittel, welche zur Bewältigung von Accident-Management-Aufgaben konzipiert seien, auf keiner anderen Sicherheitsebene eingesetzt werden dürften. Die Tatsache, dass die Beschwerdegegnerin vorsehe, die mobilen Pumpen, welche ein Mittel des Accident-
Managements seien, auf der Sicherheitsebene 3 zum Einsatz zu bringen, bedeute nicht automatisch, dass diese der Sicherheitsebene 4 entzogen würden. Allerdings sei weder der angefochtenen Verfügung noch den Stellungnahmen von ENSI oder Beschwerdegegnerin zu entnehmen, dass die Mittel zur Störfallbekämpfung des KKM den Sicherheitsebenen in Qualität und Quantität derart zugeteilt seien, dass das Funktionieren des Konzepts der gestaffelten Sicherheitsvorsorge gewährleistet sei, ohne die Leistung der Mittel auf der Sicherheitsebene 4 durch den Einsatz der vier mobilen Pumpen auf der Sicherheitsebene 3 zu schwächen. Dies werde noch nachzuholen sein (E. 5.6.2).
Zusammenfassend sei festzuhalten, dass eine Kreditierung von mobilen Pumpen sowie der unklassierten Einspeisestelle zur Bewältigung der Notkühlung im KKM im Rahmen eines Extremhochwassers nicht von vorneherein ausgeschlossen werden könne. Die Beschwerde sei in diesem Punkt abzuweisen. Hingegen habe es das ENSI unterlassen, die Rolle der mobilen Pumpen im Gesamtkonzept der gestaffelten Sicherheitsvorsorge zu untersuchen. Insbesondere habe es nicht dargelegt, dass ein Einsatz der mobilen Pumpen auf der Sicherheitsebene 3 das Leistungspotential auf der Sicherheitsebene 4 nicht beeinträchtige (E. 5.8). Entscheidend für den vorliegend zu beurteilenden Einsatz von mobilen Pumpen seien u.a. die zeitlichen Verhältnisse, insbesondere jene des Hochwasserszenarios (E. 6). Für die Erarbeitung der Modelle für das 10'000-jährliche Hochwasser sei ein Drittunternehmen beigezogen worden. Den Akten sei nicht zu entnehmen, dass diese Modellberechnungen durch eine Fachstelle des Bundes oder durch kantonale Fachbehörden überprüft oder kommentiert worden wären (E. 6.1). Ein Beizug der Fachstellen wenigstens zum verwendeten Hochwasserszenario sei unumgänglich. Dies werde nachzuholen sein (E. 6.3). Auch sei nicht ausgeschlossen, dass das Hochreservoir
Runtigenrain - obwohl nicht sicherheitstechnich klassiert - seine Aufgabe im Rahmen der gestaffelten Sicherheitsvorsorge erfüllen könne, doch müsse dem Hochreservoir mit seinem Leitungssystem die Aufmerksamkeit zukommen, wie es die Grundsätze für die Erstellung von nuklearen Bauten verlangen (E. 7.4.1). Selbst wenn das Hochreservoir als Accident-Management-Mittel betrachtet werde, sei ein Einsatz im Rahmen eines Auslegungsstörfalls nicht von vorneherein auszuschliessen (E. 7.4.3) : Das Hochreservoir mit seinem Leitungssystem sei grundsätzlich für den deterministischen Nachweis kreditierbar. Aus den Akten gehe allerdings nicht hervor, wie das ENSI zu der Erkenntnis gekommen sei, die Kreditierung des Hochreservoirs schlussendlich gutzuheissen. Insbesondere wäre beispielsweise darzulegen, wie die Versorgung resp. der Nachschub an Kühlwasser ausgestaltet sei, wie die Vernetzung der Zuleitungen mit der regionalen Wasserversorgung und die Kapazitäten des Netzes unter Einbezug des gleichzeitigen Bedarfs der Trinkwasserversorgung für die Zivilbevölkerung aussehe. Es fehle sodann der Einblick in ein Konzept, wie das Hochreservoir zum Einsatz komme, wie es bewirtschaftet und bespiesen werde, wie die Bedienmannschaft seine Handlungen
trainiert habe und ob das Konzept ausexerziert und für zuverlässig sowie jederzeit funktionierend befunden worden sei.
Kurz gefasst sei nicht ersichtlich, wie die Notkühlung des Reaktors über das Hochreservoir über längere Zeit aufrechterhalten werden solle und könne. Eine erneute Untersuchung durch das ENSI resp. die Beschwerdegegnerin werde diesen Aspekten Rechnung zu tragen haben, um eine Kreditierung des Hochreservoirs als diversitäre Wärmesenke gutheissen zu können (E. 7.4.4). Zusammenfassend stehe fest, dass auch die Kreditierung des Hochreservoirs Runtigenrain zur Erbringung des deterministischen Nachweises zur Beherrschung eines 10'000-jährlichen Hochwassers nicht grundsätzlich ausgeschlossen werden könne. Insbesondere sei die Beschwerde bezüglich des Feststellungsbegehrens, dass für den Nachweis der Einhaltung der grundlegenden Schutzziele durch die deterministische Störfallanalyse ausschliesslich sicherheitstechnisch klassierte Bauwerke und Ausrüstungen kreditiert werden dürfen, abzuweisen (E. 7.5).
Abschliessend erwog das Bundesverwaltungsgericht, das ENSI habe gemäss den bisherigen Erwägungen darzulegen, dass die Anforderungen an die Konzeption und Kapazität der Wasserversorgung zugunsten des Hochreservoirs Runtigenrain gegeben seien. Letztendlich fehle eine tiefere Auseinandersetzung mit der Ausgestaltung des Konzeptes der gestaffelten Sicherheitsvorsorge betreffend der Frage, ob die zur Bewältigung von Auslegungsstörfällen auf der Sicherheitsebene 3 eingebundenen mobilen Pumpen sowie das Hochreservoir Runtigenrain die Leistung auf der Sicherheitsebene 4 nicht schwächen würden. Diesbezüglich habe das ENSI die entsprechenden Untersuchungen zu veranlassen und einem Entscheid betreffend die Erbringung des deterministischen Nachweises zugrunde zu legen (E. 9.2). Es erscheine angezeigt, die Angelegenheit zur materiellen Prüfung und neuem Entscheid an das ENSI zurückzuweisen. Insofern sei die Beschwerde gutzuheissen (E. 9.3).

2.3. Aus diesen Erwägungen ergibt sich, dass das Bundesverwaltungsgericht zwar die Auffassung der Beschwerdeführer nicht teilt, dass die mobilen Pumpen und das Hochreservoir Runtigenrain für den deterministischen Sicherheitsnachweis grundsätzlich nicht berücksichtigt werden dürften. Es hat aber weder in Bezug auf die mobilen Pumpen noch auf das Hochreservoir die Auffassung des ENSI vorbehaltlos geteilt. Vielmehr hat es in Bezug auf beide Aspekte die Sache zur näheren Überprüfung zurückgewiesen. Das ENSI wird aufgrund des angefochtenen Entscheids namentlich zu prüfen haben, ob der Einsatz der mobilen Pumpen bei deren Einsatz auf der Sicherheitsebene 3 das Leistungspotenzial auf der Sicherheitsebene 4 nicht beeinträchtigt; es wird Fachstellen beizuziehen haben zur Beurteilung des verwendeten Hochwasserszenarios und es wird abzuklären haben, wie die Notkühlung des Reaktors über das Hochreservoir über längere Zeit aufrecht erhalten werden kann. Nur nach diesen noch vorzunehmenden Abklärungen wird beurteilt werden können, ob die Pumpen und das Hochreservoir effektiv für den deterministischen Sicherheitsnachweis kreditiert werden dürfen. Diese Elemente bilden ihrerseits Teil eines umfassenden Konzepts der Sicherheitsvorsorge (BGE 140 II
315
E. 5.2.3 S. 333 f.). Der Umstand, dass das Bundesverwaltungsgericht die Beschwerde teilweise abgewiesen hat, bedeutet somit nicht, dass es im Sinne eines Teilentscheids über einen Teil der Begehren entschieden hat, der unabhängig von den anderen beurteilt werden kann (Art. 91 lit. a
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 91 Décisions partielles - Le recours est recevable contre toute décision:
a  qui statue sur un objet dont le sort est indépendant de celui qui reste en cause;
b  qui met fin à la procédure à l'égard d'une partie des consorts.
BGG). Vielmehr wird der ganze deterministische Sicherheitsnachweis als Teil des umfassenden Sicherheitskonzepts aufgrund der ergänzenden Abklärungen neu zu beurteilen sein. Die teilweise Abweisung bedeutet nur, dass entgegen der Auffassung der Beschwerdeführer für den deterministischen Sicherheitsnachweis nicht ausschliesslich sicherheitstechnisch klassierte Bauwerke und Ausrüstungen kreditiert werden dürfen und dass namentlich eine Kreditierung der mobilen Pumpen und des Hochreservoirs nicht grundsätzlich ausgeschlossen ist. Es handelt sich dabei um einen typischen materiellrechtlichen Grundsatzentscheid, der zwar einen Teilaspekt einer Streitsache beantwortet (vorne E. 1.2), die Sache insgesamt aber noch unentschieden lässt. Dass die Beschwerdeführer ein separates Rechtsbegehren gestellt haben, es sei festzustellen, dass die Kreditierung widerrechtlich sei und dass das Bundesverwaltungsgericht dieses Begehren abgewiesen hat, ändert daran
nichts: Das schutzwürdige Interesse der Beschwerdeführer an einem Entscheid über das Realhandeln des ENSI (Art. 25a
SR 172.021 Loi fédérale du 20 décembre 1968 sur la procédure administrative (PA)
PA Art. 25a - 1 Toute personne qui a un intérêt digne de protection peut exiger que l'autorité compétente pour des actes fondés sur le droit public fédéral et touchant à des droits ou des obligations:
1    Toute personne qui a un intérêt digne de protection peut exiger que l'autorité compétente pour des actes fondés sur le droit public fédéral et touchant à des droits ou des obligations:
VwVG) besteht nicht darin, dass abstrakt über die Widerrechtlichkeit einzelner Aufsichtshandlungen Feststellungen getroffen werden, sondern darin, dass die gesetzlich vorgeschriebenen Schutzmassnahmen gegen Gefährdungen getroffen werden (BGE 140 II 315 E. 5.2.3 S. 333 f.). Der blosse Umstand, dass die Beschwerdeführer eine einzelne Teilfrage in einem separaten Rechtsbegehren formuliert haben, kann nicht dazu führen, dass die Antwort auf diese Frage als (Teil-) Endentscheid im Sinne von Art. 91
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 91 Décisions partielles - Le recours est recevable contre toute décision:
a  qui statue sur un objet dont le sort est indépendant de celui qui reste en cause;
b  qui met fin à la procédure à l'égard d'une partie des consorts.
BGG zu betrachten wäre. Der angefochtene Entscheid ist somit kein Endentscheid, sondern ein Zwischenentscheid.

3.
Im Eventualstandpunkt machen die Beschwerdeführer geltend, der Zwischenentscheid sei jetzt unmittelbar beim Bundesgericht anfechtbar.

3.1. Vor- und Zwischenentscheide sind abgesehen von den hier nicht zur Diskussion stehenden Fällen von Art. 92
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 92 Décisions préjudicielles et incidentes concernant la compétence et les demandes de récusation - 1 Les décisions préjudicielles et incidentes qui sont notifiées séparément et qui portent sur la compétence ou sur une demande de récusation peuvent faire l'objet d'un recours.
1    Les décisions préjudicielles et incidentes qui sont notifiées séparément et qui portent sur la compétence ou sur une demande de récusation peuvent faire l'objet d'un recours.
2    Ces décisions ne peuvent plus être attaquées ultérieurement.
BGG nur dann anfechtbar, wenn sie einen nicht wieder gutzumachenden Nachteil bewirken können (Art. 93 Abs. 1 lit. a
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 93 Autres décisions préjudicielles et incidentes - 1 Les autres décisions préjudicielles et incidentes notifiées séparément peuvent faire l'objet d'un recours:
1    Les autres décisions préjudicielles et incidentes notifiées séparément peuvent faire l'objet d'un recours:
a  si elles peuvent causer un préjudice irréparable, ou
b  si l'admission du recours peut conduire immédiatement à une décision finale qui permet d'éviter une procédure probatoire longue et coûteuse.
2    En matière d'entraide pénale internationale et en matière d'asile, les décisions préjudicielles et incidentes ne peuvent pas faire l'objet d'un recours.88 Le recours contre les décisions relatives à la détention extraditionnelle ou à la saisie d'objets et de valeurs est réservé si les conditions de l'al. 1 sont remplies.
3    Si le recours n'est pas recevable en vertu des al. 1 et 2 ou qu'il n'a pas été utilisé, les décisions préjudicielles et incidentes peuvent être attaquées par un recours contre la décision finale dans la mesure où elles influent sur le contenu de celle-ci.
BGG) oder wenn die Gutheissung der Beschwerde sofort einen Endentscheid herbeiführen und damit einen bedeutenden Aufwand an Zeit oder Kosten für ein weitläufiges Beweisverfahren ersparen würde (lit. b). Das Vorliegen dieser Voraussetzungen für die Anfechtung eines Zwischenentscheids ist von den Beschwerdeführern darzulegen, wenn sie nicht offensichtlich auf der Hand liegen (Urteil 8C 464/2017 vom 20. Dezember 2017 E. 2.2.2.1, nicht publ. in: BGE 144 V 35; 138 III 46 E. 1.2 S. 47 f.; 137 III 324 E. 1.1 S. 327 ff.; 137 III 522 E. 1.3 S. 525; 136 IV 92 E. 4 S. 95).

3.2. Der nicht wieder gutzumachende Nachteil im Sinne von Art. 93 Abs. 1 lit. a
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 93 Autres décisions préjudicielles et incidentes - 1 Les autres décisions préjudicielles et incidentes notifiées séparément peuvent faire l'objet d'un recours:
1    Les autres décisions préjudicielles et incidentes notifiées séparément peuvent faire l'objet d'un recours:
a  si elles peuvent causer un préjudice irréparable, ou
b  si l'admission du recours peut conduire immédiatement à une décision finale qui permet d'éviter une procédure probatoire longue et coûteuse.
2    En matière d'entraide pénale internationale et en matière d'asile, les décisions préjudicielles et incidentes ne peuvent pas faire l'objet d'un recours.88 Le recours contre les décisions relatives à la détention extraditionnelle ou à la saisie d'objets et de valeurs est réservé si les conditions de l'al. 1 sont remplies.
3    Si le recours n'est pas recevable en vertu des al. 1 et 2 ou qu'il n'a pas été utilisé, les décisions préjudicielles et incidentes peuvent être attaquées par un recours contre la décision finale dans la mesure où elles influent sur le contenu de celle-ci.
BGG muss rechtlicher Natur sein; massgebend ist, ob der Nachteil auch mit einem günstigen Entscheid in Zukunft nicht behoben werden kann (BGE 139 V 42 E. 3.1 S. 47 f.; 137 III 324 E. 1.1 S. 327 ff.; 137 V 314 E. 2.2.1 S. 317; 135 III 127 E. 1.3 S. 129). Die blosse Verlängerung oder Verteuerung des Verfahrens stellt in aller Regel keinen solchen Nachteil dar (BGE 142 II 20 E. 1.4 S. 24 f.; 140 V 282 E. 4.2 S. 285 ff.; 136 II 165 E. 1.2.1 S. 170 f.; 133 IV 139 E. 4 S. 140 f.). Das Bundesgericht hat ausnahmsweise einen nicht wieder gutzumachenden Nachteil angenommen, um insgesamt eine angemessene Verfahrensdauer zu gewährleisten, wenn es rechtsstaatlich unzumutbar wäre, die Parteien auf die Anfechtung des Endentscheids zu verweisen (BGE 142 II 20 E. 1.4 S. 24 f.; 136 II 165 E. 1.2.1 S. 171). Die Beschwerdeführer berufen sich auf eine solche Konstellation: Sie bringen dazu vor, das Verfahren habe nun bereits bald sieben Jahre gedauert; eine weitere jahrelange Verzögerung müsse bei sicherheitsrelevanten Fragen als unzumutbar gelten.

3.3. Im Einzelfall mag es der Verfahrensbeschleunigung und Prozessökonomie dienen, wenn über einzelne Fragen vorab letztinstanzlich entschieden werden kann. Diesem Anliegen dient namentlich Art. 93 Abs. 1 lit. b
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 93 Autres décisions préjudicielles et incidentes - 1 Les autres décisions préjudicielles et incidentes notifiées séparément peuvent faire l'objet d'un recours:
1    Les autres décisions préjudicielles et incidentes notifiées séparément peuvent faire l'objet d'un recours:
a  si elles peuvent causer un préjudice irréparable, ou
b  si l'admission du recours peut conduire immédiatement à une décision finale qui permet d'éviter une procédure probatoire longue et coûteuse.
2    En matière d'entraide pénale internationale et en matière d'asile, les décisions préjudicielles et incidentes ne peuvent pas faire l'objet d'un recours.88 Le recours contre les décisions relatives à la détention extraditionnelle ou à la saisie d'objets et de valeurs est réservé si les conditions de l'al. 1 sont remplies.
3    Si le recours n'est pas recevable en vertu des al. 1 et 2 ou qu'il n'a pas été utilisé, les décisions préjudicielles et incidentes peuvent être attaquées par un recours contre la décision finale dans la mesure où elles influent sur le contenu de celle-ci.
BGG (BGE 133 V 477 E. 4.1.3 S. 481). Allerdings ist zu beachten, dass jedes bundesgerichtliche Verfahren seinerseits wieder Zeit beansprucht. Würden ständig Streitgegenstände in mehrere Teilfragen aufgeteilt, jede davon in einem Zwischentscheid beurteilt, dem Bundesgericht vorgelegt und von diesem materiell beurteilt, so würden insgesamt die Verfahren nicht verkürzt, sondern im Gegenteil verlängert (BGE 133 V 477 E. 5.2.1 S. 483; Urteile 2C 700/2017 vom 24. August 2017 E. 2.4; 2C 475/2011 vom 13. Dezember 2011 E. 3.3). Die selbständige Anfechtung von Zwischenentscheiden sollte daher die Ausnahme bleiben und restriktiv gehandhabt werden (BGE 138 III 94 E. 2.2 S. 95; 134 III 188 E. 2.2 S. 191). Vorliegend ist nicht ersichtlich, inwiefern es zur Sicherstellung eines rechtsstaatlichen Verfahrens unabdingbar wäre, die von den Beschwerdeführern aufgeworfene Frage jetzt zu beantworten. Insbesondere wäre auch bei Gutheissung des Standpunkts der Beschwerdeführer das Verfahren nicht mit dem bundesgerichtlichen Entscheid beendet:
Wie dargelegt, besteht das schutzwürdige Interesse der Beschwerdeführer nicht in der abstrakten Beantwortung einzelner Fragen, sondern darin, dass das gesetzliche Sicherheitskonzept eingehalten wird (vorne E. 2.3). Mit der Beantwortung der Teilfrage im Sinne der Beschwerdeführer wäre aber nur entschieden, dass für den deterministischen Sicherheitsnachweis die mobilen Pumpen und das Hochreservoir Runtigenrain nicht berücksichtigt werden dürfen. Damit stünde aber nicht umgekehrt fest, dass der deterministische Sicherheitsnachweis nicht erbracht werden kann; vielmehr wäre dieser unter den neuen Rahmenbedingungen von der Beschwerdegegnerin neu darzulegen und vom ENSI neu zu prüfen. Sodann haben die Beschwerdeführer selber beantragt, dass das ENSI zu verpflichten sei, sämtliche Aufsichtshandlungen, welche auf solchen Kreditierungen beruhen, zu widerrufen und die Folgen dieser bisherigen Aufsichtshandlungen zu beseitigen. All dies würde ohnehin weitere Verfahrensschritte mit sich ziehen, selbst wenn die Grundsatzfrage jetzt im Sinne der Beschwerdeführer beantwortet würde.

3.4. Aus den soeben genannten Gründen ist auch die Voraussetzung nicht erfüllt, dass mit der Gutheissung der Beschwerde sofort ein Endentscheid herbeigeführt werden könnte (Art. 93 Abs. 1 lit. b
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 93 Autres décisions préjudicielles et incidentes - 1 Les autres décisions préjudicielles et incidentes notifiées séparément peuvent faire l'objet d'un recours:
1    Les autres décisions préjudicielles et incidentes notifiées séparément peuvent faire l'objet d'un recours:
a  si elles peuvent causer un préjudice irréparable, ou
b  si l'admission du recours peut conduire immédiatement à une décision finale qui permet d'éviter une procédure probatoire longue et coûteuse.
2    En matière d'entraide pénale internationale et en matière d'asile, les décisions préjudicielles et incidentes ne peuvent pas faire l'objet d'un recours.88 Le recours contre les décisions relatives à la détention extraditionnelle ou à la saisie d'objets et de valeurs est réservé si les conditions de l'al. 1 sont remplies.
3    Si le recours n'est pas recevable en vertu des al. 1 et 2 ou qu'il n'a pas été utilisé, les décisions préjudicielles et incidentes peuvent être attaquées par un recours contre la décision finale dans la mesure où elles influent sur le contenu de celle-ci.
BGG). Zudem ist auch die zweite kumulative Voraussetzung dieser Eintretensvariante nicht dargetan, nämlich, dass damit ein bedeutender Aufwand an Zeit und Kosten für ein weitläufiges Beweisverfahren erspart würde. Zwar hat das Bundesverwaltungsgericht die Rückweisung an das ENSI u.a. damit begründet, ihm sei es mangels Kenntnissen von Grundlagen und Materie nicht möglich, ohne aufwendige Untersuchung über diese Materien abschliessend zu befinden. Das ENSI, das von diesem als Fachbehörde beizuziehende Bundesamt für Umwelt (BAFU) sowie kantonale Umweltfachstellen seien besser mit der Materie vertraut (E. 9.3). Daraus geht nur hervor, dass es für das Gericht aufwendiger Untersuchungen bedürfte, um in der Sache zu entscheiden. Dass auch für die fachkompetenten Behörden ein bedeutender Aufwand entstünde, ist weder von der Vorinstanz festgestellt noch von den Beschwerdeführern dargetan.

4.
Auf die Beschwerde ist somit nicht einzutreten. Das gilt auch in Bezug auf den Kostenentscheid des Bundesverwaltungsgerichts, der im Anschluss an den Endentscheid angefochten werden kann (BGE 142 II 363 E. 1.1 S. 365 f.).

5.
Die unterliegenden Beschwerdeführer tragen die Kosten des bundesgerichtlichen Verfahrens unter solidarischer Haftung (Art. 66 Abs. 1
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 66 Recouvrement des frais judiciaires - 1 En règle générale, les frais judiciaires sont mis à la charge de la partie qui succombe. Si les circonstances le justifient, le Tribunal fédéral peut les répartir autrement ou renoncer à les mettre à la charge des parties.
1    En règle générale, les frais judiciaires sont mis à la charge de la partie qui succombe. Si les circonstances le justifient, le Tribunal fédéral peut les répartir autrement ou renoncer à les mettre à la charge des parties.
2    Si une affaire est liquidée par un désistement ou une transaction, les frais judiciaires peuvent être réduits ou remis.
3    Les frais causés inutilement sont supportés par celui qui les a engendrés.
4    En règle générale, la Confédération, les cantons, les communes et les organisations chargées de tâches de droit public ne peuvent se voir imposer de frais judiciaires s'ils s'adressent au Tribunal fédéral dans l'exercice de leurs attributions officielles sans que leur intérêt patrimonial soit en cause ou si leurs décisions font l'objet d'un recours.
5    Sauf disposition contraire, les frais judiciaires mis conjointement à la charge de plusieurs personnes sont supportés par elles à parts égales et solidairement.
und 5
SR 173.110 Loi du 17 juin 2005 sur le Tribunal fédéral (LTF) - Organisation judiciaire
LTF Art. 66 Recouvrement des frais judiciaires - 1 En règle générale, les frais judiciaires sont mis à la charge de la partie qui succombe. Si les circonstances le justifient, le Tribunal fédéral peut les répartir autrement ou renoncer à les mettre à la charge des parties.
1    En règle générale, les frais judiciaires sont mis à la charge de la partie qui succombe. Si les circonstances le justifient, le Tribunal fédéral peut les répartir autrement ou renoncer à les mettre à la charge des parties.
2    Si une affaire est liquidée par un désistement ou une transaction, les frais judiciaires peuvent être réduits ou remis.
3    Les frais causés inutilement sont supportés par celui qui les a engendrés.
4    En règle générale, la Confédération, les cantons, les communes et les organisations chargées de tâches de droit public ne peuvent se voir imposer de frais judiciaires s'ils s'adressent au Tribunal fédéral dans l'exercice de leurs attributions officielles sans que leur intérêt patrimonial soit en cause ou si leurs décisions font l'objet d'un recours.
5    Sauf disposition contraire, les frais judiciaires mis conjointement à la charge de plusieurs personnes sont supportés par elles à parts égales et solidairement.
BGG). Die Beschwerdegegnerin wurde nicht zur Vernehmlassung eingeladen, so dass ihr keine Kosten entstanden sind, die zu ersetzen wären.

Demnach erkennt das Bundesgericht:

1.
Auf die Beschwerde wird nicht eingetreten.

2.
Die Gerichtskosten von Fr. 2'000.-- werden den Beschwerdeführern auferlegt, unter solidarischer Haftung.

3.
Dieses Urteil wird den Parteien, dem Bundesverwaltungsgericht, Abteilung I, und dem Eidgenössischen Nuklearsicherheitsinspektorat (ENSI) schriftlich mitgeteilt.

Lausanne, 5. Oktober 2018

Im Namen der II. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts

Der Präsident: Seiler

Der Gerichtsschreiber: Klopfenstein