24 Abs. 1 Anhang I FZA zu verstehen seien (vgl. Urteile des Bundesverwaltungsgerichts F-5817/2015 vom 24.7.2017 E. 5.3 S. 9, F-2671/2015 vom 19.7.2017 E. 6.2.2 S. 13 und F-2042/2015 vom 23.6.2017 E. 5.2.2 S. 9). 4.2 Eines dieser Urteile des Bundesverwaltungsgerichts wurde beim Bundesgericht angefochten (F-2042/2015). Dieses warf die Frage der Handhabung von Prämienverbilligungen im Kontext von Art. 24 Abs. 1 Anhang I FZA alsdann