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, Art. 86 Abs. 1 lit. a BGG) und die Beschwerdeführer sind zur Beschwerde legitimiert (Art. 89 Abs. 1 BGG; BGE 140 II 315). Die Beschwerde ist indessen nur zulässig gegen Endentscheide (Art. 90 BGG) sowie gegen Teilentscheide (Art. 91 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 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 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 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 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 BGG nur dann anfechtbar, wenn sie einen nicht wieder gutzumachenden Nachteil bewirken können (Art. 93 Abs. 1 lit. a 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 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 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 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 und 5 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