facts:
Sachverhalt:
A.
A._, geboren 1982, erlitt am 26. Dezember 1999 anlässlich des Sturmes "Lothar" infolge einer von einer Sonnenstore herunter fallenden Stange eine Commotio cerebri mit Rissquetschwunde an der rechten Stirnseite und eine Verstauchung des rechten Handgelenks. Die Elvia Versicherungen, heute Allianz Suisse Schweizerische Lebensversicherungs-Gesellschaft Zürich (nachfolgend: Allianz), erbrachte hiefür die gesetzlichen Leistungen nach UVG. Die Allianz verneinte die Unfalladäquanz psychischer Beschwerden und stellte ihre Leistungen nach Abheilung der somatischen Unfallfolgen per 31. August 2000 ein, was das damalige Eidgenössische Versicherungsgericht (heute: sozialrechtliche Abteilungen des Bundesgerichts) letztinstanzlich schützte (Urteil U 97/02 vom 25. Juli 2002).
Am 15. Februar 2001 meldete sich A._ wegen seit 26. Dezember 1999 anhaltender Beschwerden bei der Invalidenversicherung zum Leistungsbezug an. Mit Verfügung vom 22. August 2002 sprach ihr die IV-Stelle Zug rückwirkend ab 1. Dezember 2000 bei einem Invaliditätsgrad von 93 % eine ganze Invalidenrente zu. Ab 1. Januar 2002 bezog sie zusätzlich eine Hilflosenentschädigung infolge einer mittleren Hilflosigkeit (Verfügung vom 13. November 2003). Anlässlich der im Februar 2007 eingeleiteten revisionsweisen Überprüfung der ausgerichteten Leistungen bestätigte die IV-Stelle die ganze Invalidenrente, reduzierte jedoch die Hilflosenentschädigung mit Wirkung ab 1. Oktober 2008 auf eine solche leichten Grades (Verfügung vom 15. August 2008). Aufgrund des Verdachts auf unrechtmässigen Leistungsbezug nahm die IV-Stelle weitere Abklärungen vor und reichte am 27. November 2013 Strafanzeige gegen die Versicherte und deren Ehemann wegen Betrugs, Verletzung der Meldepflicht sowie Gewalt und Drohung gegen Behörden und Beamte, eventuell Drohung oder Nötigung ein. Am 8. April 2014 sistierte die IV-Stelle die Invalidenrente und die Hilflosenentschädigung mit sofortiger Wirkung. Die Staatsanwaltschaft des Kantons Zug liess die Versicherte bei Prof. Dr. med. B._ versicherungsmedizinisch-psychiatrisch begutachten. Dessen Gutachten datiert vom 16. Februar 2016 und stützt sich unter anderem auch auf das neuropsychologische Fachgutachten des Prof. Dr. C._ vom 3. Februar 2016. Mit unangefochten in Rechtskraft erwachsenem Entscheid vom 16. Mai 2017 hat das Strafgericht des Kantons Zug A._ und deren Ehegatten wegen des gewerbsmässigen Betruges gemäss Art. 146 Abs. 1 und 2 StGB schuldig gesprochen und je zu einer teilbedingten Freiheitsstrafe verurteilt.
Nach Kenntnisnahme von den Gutachten der Prof. Dres. B._ und C._ hob die IV-Stelle die Invalidenrente bei einem neu auf 20 % ermittelten Invaliditätsgrad rückwirkend ab 1. Juli 2003 auf und forderte die zu Unrecht ausgerichteten Rentenleistungen der letzten fünf Jahre ab Verfügungsdatum zurück (unangefochten in Rechtskraft erwachsene Verfügungen vom 17. Mai 2016). Mit Verfügung vom 27. Oktober 2016 hob die IV-Stelle auch die Hilflosenentschädigung rückwirkend ab Januar 2002 auf. Zudem forderte sie diesbezüglich die zu Unrecht bezogenen Leistungen der letzten fünf Jahre vor Verfügungserlass zurück (Verfügung vom 15. November 2016).
B.
Hiegegen lässt A._ beschwerdeweise beantragen, ihr sei unter Aufhebung der Verfügung der IV-Stelle vom 27. Oktober 2016 ab 8. April 2014 weiterhin eine Hilflosenentschädigung nach IVG auszurichten. Das Verwaltungsgericht des Kantons Zug wies die Beschwerde ab (Entscheid vom 30. Mai 2017).
C.
Mit Beschwerde in öffentlich-rechtlichen Angelegenheiten lässt A._ unter Aufhebung des angefochtenen Gerichtsentscheids und der Verfügung vom 27. Oktober 2016 beantragen, die IV-Stelle sei zu verpflichten, ihr bis auf Weiteres eine Hilflosenentschädigung auszurichten. "Eventualiter sei [die IV-Stelle] zu verpflichten, von einer rückwirkenden Aufhebung der Hilflosenentschädigung per Januar 2002 abzusehen und diese bis im Februar 2016 auszurichten."
Während Verwaltung und Vorinstanz auf Abweisung der Beschwerde schliessen, verzichtet das Bundesamt für Sozialversicherungen (BSV) auf eine Vernehmlassung.

considerations:
Erwägungen:
1.
1.1. Die Beschwerde in öffentlich-rechtlichen Angelegenheiten kann wegen Rechtsverletzungen gemäss den Art. 95 f. BGG erhoben werden. Das Bundesgericht legt seinem Urteil den Sachverhalt zugrunde, den die Vorinstanz festgestellt hat (<ref-law>), und kann deren Sachverhaltsfeststellung nur berichtigen oder ergänzen, wenn sie offensichtlich unrichtig ist oder auf einer Rechtsverletzung im Sinne von <ref-law> beruht und die Behebung des Mangels für den Ausgang des Verfahrens entscheidend sein kann (Art. 97 Abs. 1 und Art. 105 Abs. 2 BGG). Das Bundesgericht wendet das Recht von Amtes wegen an (<ref-law>). Es ist folglich weder an die in der Beschwerde geltend gemachten Argumente noch an die Erwägungen der Vorinstanz gebunden; es kann eine Beschwerde aus einem anderen als dem angerufenen Grund gutheissen und es kann sie mit einer von der Argumentation der Vorinstanz abweichenden Begründung abweisen. Immerhin prüft das Bundesgericht, unter Berücksichtigung der allgemeinen Pflicht zur Begründung der Beschwerde (Art. 42 Abs. 1 und 2 BGG), grundsätzlich nur die geltend gemachten Rügen, sofern die rechtlichen Mängel nicht geradezu offensichtlich sind (<ref-ruling> E. 1 S. 236 mit Hinweisen).
1.2. Eine Sachverhaltsfeststellung ist nicht schon dann offensichtlich unrichtig, wenn sich Zweifel anmelden, sondern erst, wenn sie eindeutig und augenfällig unzutreffend ist (<ref-ruling> E. 3.1 S. 44). Es liegt noch keine offensichtliche Unrichtigkeit vor, nur weil eine andere Lösung ebenfalls in Betracht fällt, selbst wenn diese als die plausiblere erscheint (vgl. <ref-ruling> E. 2.1 S. 9; Urteil 9C_101/2015 vom 30. November 2015 E. 1.1). Diese Grundsätze gelten auch in Bezug auf die konkrete Beweiswürdigung (Urteil 9C_468/2017 vom 11. September 2017 E. 1 mit Hinweisen).
1.3. Einem ärztlichen Bericht kommt Beweiswert zu, wenn er für die streitigen Belange umfassend ist, auf allseitigen Untersuchungen beruht, auch die geklagten Beschwerden berücksichtigt und in Kenntnis der Vorakten (Anamnese) abgegeben worden ist, wenn die Beschreibung der medizinischen Situation und Zusammenhänge einleuchtet und die Schlussfolgerungen des Arztes begründet sind (<ref-ruling> E. 5.1 S. 232 mit Hinweis). Ein Richter weicht bei Gerichtsgutachten nicht ohne zwingende Gründe von der Einschätzung des medizinischen Experten ab (<ref-ruling> E. 3b/aa S. 352 mit Hinweisen; Urteil 8C_304/2016 vom 15. September 2017 E. 1.3).
2.
Die Vorinstanz hat die entscheidwesentlichen Rechtsgrundlagen zum Anspruch auf Hilflosenentschädigung bei Hilflosigkeit schweren, mittelschweren oder leichten Grades (<ref-law>; <ref-law> in Verbindung mit <ref-law>), namentlich zu den massgebenden sechs alltäglichen Lebensverrichtungen (Aufstehen, Absitzen, Abliegen; An- und Auskleiden; Essen; Körperpflege; Verrichten der Notdurft; Fortbewegung und Kontaktaufnahme [<ref-law>]), zutreffend wiedergegeben. Darauf wird verwiesen.
3.
Fest steht, dass die IV-Stelle gestützt auf das versicherungsmedizinisch-psychiatrische Gutachten des Prof. Dr. med. B._ vom 16. Februar 2016 mit unangefochten in Rechtskraft erwachsenen Verfügungen vom 17. Mai 2016 rückwirkend ab 1. Juli 2003 einen Rentenanspruch verneint und die seit 1. Mai 2011 zu Unrecht ausgerichteten Rentenleistungen zurückgefordert hat. Zudem haben die Versicherte und ihr Ehegatte die IV-Stelle und deren Hilfspersonen laut rechtskräftigem Urteil des Strafgerichts des Kantons Zug vom 16. Mai 2017 über den tatsächlichen Gesundheitszustand und ihre tatsächliche Hilfsbedürftigkeit getäuscht und in einen entsprechenden Irrtum versetzt.
4.
Strittig ist einzig die von der IV-Stelle am 27. Oktober 2016 rückwirkend ab 1. Januar 2002 verfügte Aufhebung der Hilflosenentschädigung.
4.1. Das kantonale Gericht bestätigte im Ergebnis die von der IV-Stelle vertretene Auffassung, wonach aus versicherungspsychiatrischer Sicht mit überwiegender Wahrscheinlichkeit nie eine anspruchsrelevante dauerhafte Hilfsbedürftigkeit bestanden habe. Es hielt die von der Invalidenversicherung veranlasste Observation der Versicherten auch im Lichte des Urteils des Europäischen Gerichtshofs für Menschenrechte (EGMR) vom 18. Oktober 2016 in Sachen Vukota-Bojic gegen die Schweiz (61838/10) für zulässig. Zwar seien die Voraussetzungen der prozessualen Revision (<ref-law>) nicht erfüllt. Doch sei sowohl in Bezug auf die ursprünglich zugesprochene Hilflosenentschädigung mittleren Grades ab 1. Januar 2002 (Verfügung vom 13. November 2003) als auch hinsichtlich der Reduktion der Hilflosenentschädigung auf eine solche leichten Grades mit Wirkung ab 1. Oktober 2008 (Verfügung vom 15. August 2008) von zweifelloser Unrichtigkeit auszugehen. Die von der IV-Stelle wiedererwägungsweise rückwirkend ab 1. Januar 2002 verfügte Aufhebung der Hilflosenentschädigung sei folglich zu bestätigen, weil nie ein entsprechender, anspruchsbegründender Gesundheitsschaden bestanden habe. Dies folge aus den massgebenden tatsächlichen Feststellungen zum Gesundheitszustand und zu den Voraussetzungen der Hilflosigkeit gemäss Gutachten des Prof. Dr. med. B._ vom 16. Februar 2016. Der rechtserhebliche Sachverhalt sei hinreichend zuverlässig erstellt. Weder ab 1. Januar 2002 noch über den 8. April 2014 hinaus habe demnach ein Anspruch auf Hilflosenentschädigung bestanden. Von zusätzlichen Beweismassnahmen seien in antizipierter Beweiswürdigung keine neuen entscheidwesentlichen Erkenntnisse mehr zu erwarten gewesen. Infolge einer Verletzung der zumutbaren Meldepflicht nach <ref-law> habe die Beschwerdegegnerin die Hilflosenentschädigung zu Recht mit Verfügung vom 27. Oktober 2016 rückwirkend ab Januar 2002 aufgehoben.
4.2. Demgegenüber rügt die Beschwerdeführerin, die Observation verletze Art. 10 Abs. 2 und Art. 13 BV sowie Art. 8 EMRK. Folglich verstosse die Verwertung der rechtswidrig erlangten Observationsergebnisse gegen das Gebot des fairen Verfahrens (<ref-law> und Art. 6 Ziff. 1 EMRK). Schliesslich seien auch die Wiedererwägungsvoraussetzungen von <ref-law> betreffend Aufhebung der Hilflosenentschädigung entgegen der Vorinstanz nicht erfüllt.
5.
5.1. Ein Observationsbericht bildet für sich allein keine sichere Basis für Sachverhaltsfeststellungen betreffend den Gesundheitszustand und die Arbeitsfähigkeit der versicherten Person. Er kann diesbezüglich höchstens Anhaltspunkte liefern oder Anlass zu Vermutungen geben. Sichere Kenntnis des Sachverhalts kann in dieser Hinsicht erst die ärztliche Beurteilung des Observationsmaterials liefern (<ref-ruling> E. 7.1 S. 337; SVR 2012 UV Nr. 17 S. 63, 8C_434/2011 E. 4.2; Urteil 8C_349/2017 vom 6. Oktober 2017 E. 6). Die Staatsanwaltschaft des Kantons Zug stellte den Gutachtern bei der Auftragserteilung mit der Aktenübermittlung auch die Observationsergebnisse zur Verfügung. Prof. Dr. med. B._ nahm in seinem umfangreichen psychiatrischen Gutachten bei der Beantwortung der Fragen ausführlich Bezug auf die Observationsergebnisse.
5.2. Zwar hat das Bundesgericht jüngst entschieden, dass durch die IV-Stelle veranlasste Überwachungen einer genügenden gesetzlichen Grundlage entbehren (Urteil 9C_806/2016 vom 14. Juli 2017 E. 4, zur Publikation vorgesehen). Deren Ergebnisse im Einzelfall sind indessen nicht von vornherein unverwertbar. Die Versicherte macht nicht geltend (vgl. Art. 42 Abs. 1 und 2 BGG), und es ist auch nicht ersichtlich, dass in örtlicher, zeitlicher, persönlicher oder sachlicher Hinsicht die privaten Interessen gegenüber dem öffentlichen Interesse an der Verwertbarkeit überwiegen sollen (vgl. E. 5 des genannten Urteils; Urteil 8C_735/2016 vom 27. Juli 2017 E. 5.3.6). Denn die Verwertbarkeit der Observationsergebnisse (und damit auch der gestützt darauf ergangenen weiteren Beweise) ist grundsätzlich zulässig, es sei denn, bei einer Abwägung der tangierten öffentlichen und privaten Interessen würden diese überwiegen (E. 5.1.1). Mit Blick auf die gebotene Verfahrensfairness hat das Bundesgericht sodann in derselben Erwägung (mit Hinweisen) eine weitere Präzisierung angebracht: Eine gegen Art. 8 EMRK verstossende Videoaufnahme ist verwertbar, solange Handlungen des "Beschuldigten" aufgezeichnet werden, die er aus eigenem Antrieb und ohne äussere Beeinflussung machte, und ihm keine Falle gestellt worden war. Ferner hat es erwogen, dass von einem absoluten Verwertungsverbot wohl immerhin insoweit auszugehen ist, als es um Beweismaterial geht, das im nicht öffentlich frei einsehbaren Raum zusammengetragen wurde (E. 5.1.3; Urteile 8C_305/2017 vom 20. Oktober 2017 E. 4.2 mit Hinweisen; vgl. zum öffentlich einsehbaren Raum: <ref-ruling>).
5.3. Entgegen der Beschwerdeführerin ist aus dem letzten Satz der E. 4 des Urteils 9C_806/2016 vom 14. Juli 2017 nicht zu schliessen, dass <ref-ruling> jegliche Bedeutung verloren hätte. So sind zumindest die dort im Anwendungsfall erörterten Grundsätze der Verhältnismässigkeit und Interessenabwägung (vgl. <ref-ruling> E. 5.4 ff. S. 332 ff.) in Bezug auf die Beurteilung des Anfangsverdachts und des Ausmasses der Observation mit Blick auf die Frage der Verwertbarkeit praxisgemäss weiterhin zu berücksichtigen (vgl. u.a. Urteile 9C_261/2017 vom 14. November 2017 E. 4.1 i.f., 9C_328/2017 vom 9. November 2017 E. 4.2 i.f., 8C_352/2017 vom 9. Oktober 2017 E. 5.4.3, 8C_735/2016 vom 27. Juli 2013 E. 5.3.6.3).
5.4. Im Rahmen der im Sommer 2010 von Amtes wegen eingeleiteten Rentenrevision versuchte die IV-Stelle am 18. Juli 2011 eine Haushaltsabklärung durchzuführen. Dabei war ein Gespräch mit der Versicherten nicht möglich. Der Ehemann beantwortete die Fragen. Er betonte, eine stationäre Behandlung in einer psychiatrischen Klinik stehe sie nicht durch. Sie benötige die Familie und "ertrage keine fremden Menschen um sich herum." Die Beschwerdeführerin sass neben ihm - in sich gekehrt - und nahm am Gespräch keinen Anteil. Wie von der IV-Stelle schon im vorinstanzlichen Verfahren dargelegt, bildete diese faktische Verweigerung eines Gespräches seitens der Versicherten mit der Abklärungsperson der IV-Stelle ausreichenden Anlass dafür, dieses angeblich krankheitsbedingte Verhalten ausserhalb eines Direktgespräches zu überprüfen.
5.5. Soweit die Versicherte geltend macht, mit Ausnahme der Observation vom 5. Mai 2012 falle das gesamte Observationsmaterial unter das absolute Verwertungsverbot, weil es im nicht öffentlich frei einsehbaren Raum zusammengetragen worden sei, ist die Beschwerde unbegründet. Die Argumentation, weshalb die Observationsergebnisse aus öffentlichen Einkaufszentren entgegen der einschlägigen Rechtsprechung (Urteil 8C_920/2014 vom 12. Mai 2015 E. 3.2.1 mit Hinweisen) nicht verwertbar sein sollten, beruht auf Mutmassungen über den Willen der Betreibergesellschaft und ist nicht stichhaltig. Weder behauptet die Beschwerdeführerin noch legt sie dar, dass die entsprechenden Observationen während ihrer Einkäufe gegen den massgebenden Willen der zuständigen Geschäftseigentümerschaft erfolgte (vgl. zum öffentlichen Raum das Urteil 8C_192/2017 vom 25. August 2017 E. 5.4.3.2 i.f. bzw. zum öffentlich einsehbaren Raum in Geschäften und Restaurants die Urteile 8C_69/2017 vom 18. August 2017 E. 5.3 f., 8C_735/2016 vom 27. Juli 2017 E. 5.3.6.2). Ebenfalls nicht unter das absolute Verwertungsverbot fallen die aus dem Bereich des öffentlich frei einsehbaren Gartens und Balkons (SVR 2013 UV Nr. 32 S. 111, 8C_192/2013 E. 5.1 f. mit Hinweisen und Urteil 8C_304/2016 vom 15. September 2017 E. 4.2; vgl. im Gegensatz zu einem abgeschlossenen, privaten Garten: <ref-ruling> E. 6.1 S. 335 mit Hinweisen) gewonnenen Erkenntnisse.
5.6. Entgegen der Versicherten wurde sie nicht über zwei Jahre hinweg, sondern einzig während mehrerer Stunden an total elf Tagen im Zeitraum zwischen 2. Dezember 2011 und 27. Januar 2013 im öffentlich frei einsehbaren Raum überwacht. Weshalb die vorinstanzliche Güterabwägung hinsichtlich der Verwertung des anlässlich dieser Abklärungen gesammelten Beweismaterials Bundesrecht verletzen soll, legt die Versicherte nicht dar. Was sie im Übrigen gegen die Verwertung des Observationsmaterials vorbringt, ist unbegründet. Insbesondere ist der Beschwerdegegnerin beizupflichten, wonach der Verweis in § 14 Abs. 1 des Verwaltungsrechtspflegegesetzes des Kantons Zug (VRG/ZG; 162.1; vgl. dazu Urteil 9C_806/2016 vom 14. Juli 2017 E. 5.1.1) auf die sinngemässe Anwendbarkeit der ZPO toter Buchstabe bliebe, wenn diesem Verweis immer dann die Anwendung zu versagen wäre, falls eine mit hoheitlicher Funktion agierende Institution als Partei am verwaltungsrechtlichen Streitverfahren beteiligt ist. Was die Beschwerdeführerin im Übrigen gegen die angebliche Schwere der Straftat (vgl. <ref-law> und dazu das Urteil 1B_75/2017 vom 16. August 2017 E. 4.6, zur Publikation vorgesehen) vorbringt, ist mit Blick auf die Verurteilung wegen gewerbsmässigen Betruges bei einem Vermögensschaden zu Lasten der Sozialversicherung von knapp Fr. 300'000.- gemäss unangefochten in Rechtskraft erwachsenem kantonalem Strafurteil vom 16. Mai 2017 nicht haltbar. Soweit die Versicherte gar die Auffassung zu vertreten scheint, die IV-Stelle habe sich durch Anordnung der Observation eines Verbrechens schuldig gemacht, erübrigen sich weitere Ausführungen dazu. Die vorinstanzliche Rechtsanwendung ist jedenfalls hinsichtlich der Verwertbarkeit des Observationsmaterials nicht als bundesrechtswidrig zu beanstanden.
6.
Nachdem das kantonale Gericht die Voraussetzungen der prozessualen Revision (<ref-law>) zutreffend geprüft und verneint hat (vgl. E. 4.1 hievor), kommt hier als Rückkommenstitel (vgl. SVR 2017 UV Nr. 8 S. 27, 8C_193/2016 E. 3.1) einzig die Wiedererwägung nach <ref-law> in Frage.
6.1. Die Feststellungen, welche der Beurteilung der zweifellosen Unrichtigkeit zugrunde liegen, sind tatsächlicher Natur und folglich nur eingeschränkt überprüfbar (vgl. E. 1 hievor). Dagegen ist die Auslegung (Konkretisierung) dieses unbestimmten Rechtsbegriffs als Wiedererwägungsvoraussetzung eine grundsätzlich frei prüfbare Rechtsfrage (<ref-law>; Urteile 9C_11/2016 vom 22. Februar 2016 E. 3.3 und 9C_994/2010 vom 12. April 2011 E. 2, in: SVR 2011 IV Nr. 71 S. 213).
6.2. Die Aufhebung oder Herabsetzung des bisherigen Anspruchs auf Hilflosenentschädigung auf dem Weg einer Wiedererwägung setzt voraus, dass bis dahin keine Hilflosigkeit eingetreten ist (vgl. SVR 2014 IV Nr. 39 S. 137, 9C_121/2014 E. 3.4; Urteil 8C_864/2015 vom 30. März 2016 E. 5.3.1). Dies ist anhand des beweistauglichen (E. 1.3 hievor) psychiatrischen Gutachtens des Prof. Dr. med. B._ vom 16. Februar 2016 zu verneinen, wie die Vorinstanz richtig erkannt hat (vgl. E. 4.1 hievor).
6.2.1. Gemäss Verfügung vom 13. November 2003 war die Versicherte seit Ende 1999 aufgrund der geklagten Beeinträchtigungen angeblich in vier Lebensverrichtungen auf die dauernde Hilfe Dritter angewiesen, weshalb die IV-Stelle rückwirkend ab 1. Januar 2002 einen Anspruch auf eine Hilflosenentschädigung mittleren Grades bejahte. Laut Verfügung vom 15. August 2008 bestand ab diesem Zeitpunkt nach Massgabe der von der Beschwerdeführerin gezeigten Einschränkungen die Hilfsbedürftigkeit nur - aber immerhin - noch im angeblichen Bedarf an lebenspraktischer Begleitung (in den Bereichen selbstständiges Wohnen und Begleitung bei ausserhäuslichen Verrichtungen sowie in einzelnen Aufforderungen beim An- und Auskleiden, der Körperpflege und Hygiene) und der dauernden Pflege (Kontrolle der Medikamenteneinnahme).
6.2.2. Das kantonale Gericht hat gestützt auf das Gutachten des Prof. Dr. med. B._ festgestellt, dass die während vieler Jahre attestierte Hilfsbedürftigkeit und Arbeitsunfähigkeit - abgesehen von einer kurzen vorübergehenden Phase nach dem Unfall vom 26. Dezember 1999 - nie im Ausmass der echtzeitlich beschriebenen Defizite bestand. Es zeigten sich erhebliche Diskrepanzen zwischen der präsentierten Symptomatik und der tatsächlichen Lebensführung. Zudem sei nicht nachvollziehbar, weshalb sich aus den ärztlichen Berichten bezüglich des Nierenleidens und der Endometriose nicht die geringsten Hinweise auf derart schwerwiegende psychische Auffälligkeiten ergaben. Auch anlässlich der polizeilichen Sachverhaltsabklärungen während jeweils mehrstündiger Befragungen der Versicherten im Jahre 2014 hätten die Beamten besondere Verhaltensauffälligkeiten verneint. Gestützt auf das psychiatrische Gutachten sei mit an Sicherheit grenzender Wahrscheinlichkeit das schwere psychische Krankheitsbild auszuschliessen, welches in der Vergangenheit von verschiedenen Fachärzten beschrieben worden war. Durch die unzutreffenden Klagen über ihren Gesundheitszustand und Darstellungen eines entsprechend eingeschränkten Aktivitätsniveaus habe sie die behandelnden Ärzte und die IV-Stelle erfolgreich getäuscht. Deshalb seien die beiden Verfügungen vom 13. November 2003 und 15. August 2008 zweifellos unrichtig und folglich zu Recht wiedererwägungsweise aufgehoben worden.
6.3.
6.3.1. Was die Beschwerdeführerin gegen die vorinstanzlich bestätigten Schlussfolgerungen aus dem beweiskräftigen, im Auftrag der Staatsanwaltschaft des Kantons Zug erstellten psychiatrischen Gutachten des Prof. Dr. med. B._ vom 16. Februar 2016 vorbringt, ist unbegründet. Sorgfältig und präzise sowie überzeugend und nachvollziehbar hat Prof. Dr. med. B._ die einzelnen Fragen zum Gesundheitszustand während der verschiedenen Zeiträume gestützt auf seine eigenen medizinischen Untersuchungsbefunde, die umfangreiche medizinische Aktenlage und das Observationsmaterial beantwortet. Entgegen der Versicherten geht es hier nicht um die Frage, ob sie zu bestimmten Zeiten an psychischen Beeinträchtigungen litt. Gemäss rechtskräftiger Verfügung vom 17. Mai 2016, mit welcher die IV-Stelle rückwirkend ab Juli 2003 einen Rentenanspruch verneint hat, resultierte aus den - unbestreitbar bestehenden - gesundheitlichen Einschränkungen jedoch nur ein rentenausschliessender Invaliditätsgrad von 20 % (<ref-law>). Für die hier ausschlaggebende Frage ist demgegenüber entscheidend, ob die psychischen Störungen der Beschwerdeführerin zwischen 1. Januar 2002 und 27. Januar 2016 (Zeitpunkt des Erlasses der hier strittigen Verfügung) tatsächlich aus medizinischen Gründen regelmässige Hilfeleistungen im Sinne der alternativen Kriterien gemäss Abs. 2 bzw. Abs. 3 von <ref-law> erforderten.
6.3.2. Die Versicherte beruft sich unter anderem auf Passagen aus dem psychiatrischen Gutachten des Prof. Dr. med. B._ und aus der Beurteilung des Neuropsychologen Prof. Dr. C._. Daraus folge, dass die Annahme einer zweifellosen Unrichtigkeit <ref-law> verletze. Die gegen den angefochtenen Entscheid erhobenen Einwände sind nicht stichhaltig. Die von der Beschwerdeführerin zitierte zusammenfassende versicherungsmedizinische Beurteilung des Prof. Dr. med. B._ dokumentiert vielmehr dessen differenzierte und kritische Würdigung der widersprüchlichen Eindrücke vom Gesundheitszustand aufgrund der Angaben der behandelnden Ärzte, des Observationsmaterials und seiner eigenen Untersuchungsbefunde. Der Gutachter bringt jedoch klar zum Ausdruck, dass eine Hilflosigkeit und die Einschränkungen der Leistungsfähigkeit über die letzten fünfzehn Jahre so nicht erklärbar sind. Die vorgezeigte Schwere der psychischen Erkrankung liege definitiv nicht vor. Es sei unzweifelhaft, dass sich sehr früh nach dem Unfall bis heute anhaltend eine massive Diskrepanz herausgebildet habe zwischen erkennbaren Ressourcen im Alltag einerseits und der insbesondere im Rahmen der Arztbesuche präsentierten sowie der auch vom Ehemann nach aussen gestützten und bezeugten Symptomatik andererseits. Video- und Fotoaufnahmen von 2003 über Ferienaufenthalte stünden im Widerspruch zu den Angaben der Versicherten gemäss "Abklärungsbericht Hilflosigkeit" vom 13. Mai 2003. Aus psychiatrischer Sicht sei nicht erklärbar, dass sie angeblich Hilfe beim An- und Auskleiden, beim Waschen und bis hin zum Ordnen der Kleider nach der Notdurft benötige, aber nach aussen hin situativ angepasst und emotional adäquat agieren und interagieren könne. Auch Filmaufnahmen von 2005 zeigten die Beschwerdeführerin auf einem Sportplatz als "vollständig unauffällig agierende lebenslustige junge Frau". Die geltend gemachte Hilfsbedürftigkeit (nicht alleine zu Hause bleiben zu können, insbesondere abends kontinuierliche Betreuung zu benötigen und nur begleitete Ausgänge unternehmen zu können) kontrastiere scharf zu sämtlichen eingesehenen Video- und Fotoaufnahmen, welche von aussen betrachtet eine völlig normal agierende und interagierende Versicherte zeigten, die sich in der Öffentlichkeit exponieren könne, nicht ängstlich wirke, gegenüber ihrem Kind fürsorglich sei und keine Anhaltspunkte für eine schwere psychische Erkrankung biete.
6.3.3. Zusammenfassend ist festzuhalten, dass die Beschwerdeführerin nicht darlegt und nicht ersichtlich ist, inwiefern sich aus dem beweiskräftigen psychiatrischen Gutachten des Prof. Dr. med. B._ in Bezug auf die vorinstanzlich bestätigte zweifellose Unrichtigkeit der beiden Verfügungen vom 13. November 2003 und 15. August 2008 Unsicherheiten ergeben könnten. Auch wenn die Versicherte an einer Persönlichkeitsstörung litt, steht gemäss angefochtenem Entscheid gestützt auf das psychiatrische Gutachten fest, dass sie im massgebenden Zeitraum von 2002 bis zum Erlass der hier strittigen Verfügung vom 27. Oktober 2016 niemals in einem anspruchsbegründenden Ausmass im Sinne von Art. 37 Abs. 2 oder 3 IVV regelmässig oder dauerhaft hilflos war. Daran ändern auch die Ausführungen des Prof. Dr. C._ nichts, zumal sich Prof. Dr. med. B._ mit den teils abweichenden Einschätzungen des neuropsychologischen Gutachters einlässlich auseinandergesetzt hat.
6.4. Ist der vorinstanzliche Entscheid nicht als bundesrechtswidrig zu beanstanden, bleibt es bei der wiedererwägungsweise verfügten Verneinung eines Anspruchs auf Hilflosenentschädigung ab 2002.
7.
Als unterliegende Partei hat die Beschwerdeführerin die Gerichtskosten zu tragen (<ref-law>).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Beschwerde wird abgewiesen.
2.
Die Gerichtskosten von Fr. 500.- werden der Beschwerdeführerin auferlegt.
3.
Dieses Urteil wird den Parteien, dem Verwaltungsgericht des Kantons Zug und dem Bundesamt für Sozialversicherungen schriftlich mitgeteilt.
Luzern, 20. Dezember 2017
Im Namen der I. sozialrechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Maillard
Der Gerichtsschreiber: Hochuli


facts:
Faits :
A.
Par arrêt du 27 juin 2000, le Tribunal fédéral a partiellement admis un recours interjeté par K._ contre un arrêt rendu par la Cour civile du Tribunal cantonal du canton de Vaud dans une affaire l'opposant à S._ (cause 4C.118/1998). Il a " réform[é] le jugement attaqué en ce sens que le chiffre I de son dispositif prend la teneur suivante: " Le demandeur K._ doit payer au défendeur S._ la somme de 93'694 fr., avec intérêts à 5% l'an dès le 6 juin 1992, sous imputation de 19'562 fr., avec intérêts à 5% l'an dès le 8 mars 1990 ".
B.
Sur réquisition de K._, l'Office des poursuites de Lavaux-Oron a notifié le 6 janvier 2015 à S._ un commandement de payer la somme de 19'562 fr., avec intérêts à 5% l'an dès le 8 mars 1990 (poursuite n° xxxx), à titre d' " Honoraires d'architecte selon arrêt du Tribunal Fédéral Suisse du 27 juin 2000". Cet acte ayant été frappé d'opposition, le poursuivant a demandé la mainlevée définitive. Le 8 mars 2016, le Juge de paix du district de Lavaux-Oron a rejeté cette requête.
Statuant le 7 juillet 2016, la Cour des poursuites et faillites du Tribunal cantonal du canton de Vaud a rejeté le recours interjeté par le poursuivant contre cette décision.
C.
Par mémoire du 30 septembre 2016, le poursuivant exerce un " recours " au Tribunal fédéral. Il conclut principalement à ce que la mainlevée définitive de l'opposition soit prononcée, à ce que " S._ reste le débiteur de K._ pour le montant de fr. 45'729.- avec intérêts de 5% /an dès le 8 mars 2016", que "les frais et dépens pour l'assistance professionnelle de Mme G. Gehrig aab [soient] à la charge du débiteur ", et qu'une " indemnité équitable " lui soit allouée pour le " surcroît de travail administratif et comptable dû au refus systématique du débiteur de respecter le prononcé du 27 juin 2000 des Juges Fédéraux ". Subsidiairement, il conclut à ce que le Tribunal fédéral prononce " l'annulation de son acte de défaut de biens, établi le 11 octobre 2005 par l'OP de Cossonay ".
Des observations n'ont pas été requises.

considerations:
Considérant en droit :
1.
1.1. Le contentieux de la mainlevée d'opposition (<ref-law>) est de nature pécuniaire (<ref-ruling> consid. 1.3 p. 399 s.). En l'espèce, la valeur litigieuse n'atteint cependant pas le seuil de 30'000 fr. (<ref-law>) - étant relevé que la conclusion constatatoire formulée par le recourant à hauteur de 45'729 fr. ne doit pas être prise en compte dans le calcul de dite valeur litigieuse, dès lors qu'il fait valoir ce montant en tenant compte des intérêts dus par le poursuivi sur la somme de 19'562 fr. objet de la procédure de mainlevée (<ref-law>; le recourant n'allègue par ailleurs pas (<ref-law>) que la présente cause soulèverait une question juridique de principe (cf. sur cette notion: <ref-ruling> consid. 1.2 p. 210 et la jurisprudence citée), ni qu'une autre des exceptions prévues à l'<ref-law> serait réalisée. Partant, seul le recours constitutionnel subsidiaire au sens des <ref-law> est ouvert.
1.2. Le recours a été interjeté en temps utile (art. 100 al. 1, par renvoi de l'<ref-law>) contre une décision finale (art. 90 et 117 LTF; <ref-ruling> consid. 1.4 p. 400) rendue en matière de poursuite pour dettes (<ref-law>, en relation avec l'<ref-law>) par un tribunal supérieur statuant sur recours (art. 75 al. 1 et 2, par renvoi de l'<ref-law>). Le poursuivant, qui a succombé devant la juridiction précédente, a qualité pour recourir (<ref-law>; arrêt 5A_454/2012 du 22 août 2012 consid. 1.1).
1.3. En vertu de l'<ref-law>, le mémoire de recours doit notamment indiquer des conclusions. Celles-ci doivent être déterminées et précises, c'est-à-dire énoncer exactement quelles sont les modifications demandées (arrêt 5A_882/2015 du 27 novembre 2015 consid. 1.2 et les références). Les conclusions qui portent sur une somme d'argent doivent être chiffrées (<ref-ruling> consid. 2 p. 237). Ainsi, en tant que le recourant invite la Cour de céans à lui allouer une " indemnité équitable ", sa conclusion est d'emblée irrecevable.
Aux termes de l'<ref-law>, toute conclusion nouvelle est irrecevable. En l'espèce, tel est le cas de celle qui tend à l'annulation d'un acte de défaut de biens, indépendamment du fait que la cour de céans ne serait quoi qu'il en soit pas habilitée à y procéder dans le cadre de la présente procédure.
2.
Le recours constitutionnel subsidiaire peut être exclusivement formé pour violation des droits constitutionnels (<ref-law>). Conformément à l'<ref-law> (applicable en vertu du renvoi de l'<ref-law>), le Tribunal fédéral ne connaît de la violation des droits fondamentaux - notion qui englobe les droits constitutionnels (<ref-ruling> consid. 2) - que si un tel moyen a été invoqué et motivé par le recourant, à savoir exposé de manière claire et détaillée (<ref-ruling> consid. 1.5 p. 576). Les critiques de nature appellatoire sont irrecevables (sur l'exigence de motivation, parmi plusieurs: <ref-ruling> consid. 2 p. 591 s.).
3.
La cour cantonale a relevé que le décompte du 16 mars 2016 produit par le recourant constituait une pièce nouvelle, irrecevable en vertu de la prohibition des preuves nouvelles prévue à l'<ref-law>. Le recourant conteste cette analyse, mais ne formule à cet égard aucun grief de nature constitutionnelle, de sorte que sa critique est irrecevable (cf. supra consid. 2).
4.
4.1. Sur le fond, la Cour des poursuites et faillites, procédant à une interprétation littérale du chiffre I du dispositif de l'arrêt du Tribunal fédéral du 27 juin 2000, a considéré que le poursuivi n'avait pas été condamné à payer au poursuivant 19'562 fr., mais que ce montant avait été imputé sur les 93'694 fr. que le poursuivant avait été condamné à payer au poursuivi. Cette interprétation était confirmée par le considérant 4 de l'arrêt du Tribunal fédéral, qui rejetait le moyen de K._ tendant à ce que S._ soit condamné à lui payer un montant à titre de solde d'honoraires, au motif que si une créance en paiement d'un tel solde a existé, elle est éteinte par compensation. Partant, la cour cantonale a retenu que l'arrêt du Tribunal fédéral du 27 juin 2000 ne constituait manifestement pas un titre de mainlevée définitive. Au grief selon lequel il faudrait tenir compte des 390'000 fr. versé par Zurich Compagnie d'Assurances au poursuivi, de sorte que celui-ci aurait encaissé 227'000 fr. de plus que ce que le Tribunal fédéral lui a alloué, la cour cantonale a répondu que le poursuivi avait rendu vraisemblable que le montant de 390'000 fr. ne couvrait pas les prétentions qui ont fait l'objet de l'arrêt du Tribunal fédéral, en produisant la transaction du 15 septembre 1992 qu'il a passée avec Zurich Compagnie d'Assurances; cette transaction précisait en effet à son chiffre II/2 qu'elle ne couvrait que le dommage assuré, à savoir les erreurs de conception et de surveillance (Konzeptions- und Überwachungsfehler) et, à son chiffre II/3, qu'elle ne couvrait pas l'objet du procès entre les parties, c'est-à-dire les prétentions en réduction des honoraires et en dommages-intérêts pour vices dans la planification et dépassement de budget (Gegenansprüche wegen zuviel bezahlten Honorars und Schadenersatzes auf Grund verfehlter Terminplanung und von Budgetüberschreitungen). Cet accord n'était pas en contradiction avec le courrier de Zurich Compagnie d'Assurances du 6 octobre 1992, selon lequel, par transaction, ont été " réglés définitivement tous les défauts connus et postes pouvant entrer dans la couverture d'assurance ".
4.2. Le recourant soulève le grief de violation de l'<ref-law>. En substance, il prétend que l'intimé a reçu le montant qu'il a été condamné à lui verser, dans la mesure où il a bénéficié des 390'000 fr. versés par Zurich Compagnie d'Assurances. Faute d'être de nature constitutionnelle, le grief est irrecevable (cf. supra consid. 2).
5.
Comme il l'avait fait en instance cantonale, le recourant conclut à ce qu'il soit constaté que l'intimé est son débiteur à hauteur de 45'729 fr. avec intérêts à 5% l'an dès le 8 mars 2016. A ce sujet, la Cour des poursuites et faillites a relevé qu'une telle conclusion constatatoire ne relève pas de la procédure de mainlevée ni de la compétence du juge de paix. Dès lors que le recourant ne critique pas cette motivation, son recours est irrecevable sur ce point. A l'appui de sa conclusion tendant à la mise à la charge des frais et dépens à l'intimé, le recourant ne soulève aucun grief et ne développe aucune motivation. Le recours est donc aussi irrecevable sur ce point (cf. pour le surplus supra consid. 2).
6.
Au vu de ce qui précède, le recours est irrecevable dans son ensemble. Le recourant doit être condamné aux frais de la procédure fédérale (<ref-law>). L'intimé n'ayant pas été invité à répondre, il n'y a pas lieu de lui allouer des dépens.

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours est irrecevable.
2.
Les frais judiciaires, arrêtés à 1'000 fr., sont mis à la charge du recourant.
3.
Le présent arrêt est communiqué aux parties et à la Cour des poursuites et faillites du Tribunal cantonal du canton de Vaud.
Lausanne, le 11 janvier 2017
Au nom de la IIe Cour de droit civil
du Tribunal fédéral suisse
Le Président : von Werdt
La Greffière : Dolivo

canton: CH

region: Federation


facts:
Sachverhalt:
A.
Das Gebiet Bölli Süd ist gemäss Bauzonen- und Kulturlandplan der Gemeinde Niederlenz vom 24. November 2006/8. August 2007 der Wohnzone W2 mit Lärm-Empfindlichkeitsstufe II (ES II) und Sondernutzungsplanpflicht zugeordnet. Es grenzt im Westen an die Arbeitszone (ES IV), in dem sich der Industriebetrieb der F._ AG befindet (Parzelle Nr. 1094). Die Planungswerte für Industrie- und Gewerbelärm für die ES II (Anh. 6 der Lärmschutz-Verordnung vom 15. Dezember 1986 [LSV; SR 814.41]) werden im Gebiet Bölli Süd um bis zu 15 dB (A) überschritten.
Am 29. Juni 2009 beschloss der Gemeinderat Niederlenz den Erschliessungsplan Bölli Süd, der vom Regierungsrat am 10. März 2010 mit Änderungen genehmigt wurde. Dieser enthält folgende Sondernutzungs- bzw. Lärmschutzvorschriften (nachfolgend SNV) :
- Im Areal Bölli Süd sind freistehende Einfamilienhäuser ausschliesslich mit Firstrichtung West-Ost zugelassen.
- Lärmempfindliche Räume an den Nord-, Süd- und Westfassaden müssen mindestens über ein Lüftungsfenster an der Ostfassade verfügen oder durch andere bauliche oder gestalterische Massnahmen mit einer Wirkung von mindestens 15 dB (A) (z.B. Belüftung über verglaste Vorzone oder Wintergarten, lokale Lärmschutzwand, Dachlukarne mit seitlichem Lüftungsflügel) abgeschirmt werden. [...]
- Die Massnahmen und deren Wirkungen sind im Bewilligungsverfahren einzeln in einem Lärmgutachten eines durch die Grundeigentümer zu bestimmenden, anerkannten Fachbüros nachzuweisen. [...]
B.
Am 25. November 2013 erteilte der Gemeinderat Niederlenz A.A._ und B.A._, D.D._ und E.D._ sowie C._ die Baubewilligung für je ein Einfamilienhaus auf den Parzellen Nrn. 2045, 2040 und 2046 im Gebiet Bölli Süd. Die dagegen erhobenen Einwendungen der F._ AG wurden abgewiesen.
C.
Auf Beschwerde der F._ AG ergänzte das Departement Bau, Verkehr und Umwelt des Kantons Aargau (BVU) die Baubewilligungen am 15. Mai 2014 mit folgenden Auflagen und wies die Beschwerde im Übrigen ab:
a. Die transparenten Fassadenbauteile in der Westfassade sind fix mit der Bauhülle zu verbinden und dürfen weder Öffnungsmechanismen noch Scharniere aufweisen.
b. Der Schalldämmwert der transparenten Fassadenbauteile darf nicht mehr als fünf Dezibel unter den Schalldämmwerten der übrigen, nicht transparenten Fassadenteile liegen. Die gesamte Fassade hat zudem die erhöhten Anforderungen der SIA-Norm 181 zu erfüllen.
c. Die Einhaltung dieser Anforderungen ist vor Baubeginn in einem Schallschutznachweis nach SIA-Norm 181 darzulegen.
D.
Die dagegen erhobenen Beschwerden der F._ AG hiess das Verwaltungsgericht des Kantons Aargau in drei Entscheiden vom 23. Januar 2015 gut. Es hob die Entscheide des BVU und die Baubewilligungen auf.
E.
Gegen die verwaltungsgerichtlichen Entscheide haben A.A._ und B.A._ (1C_139/2015), D.D._ und E.D._ (1C_141/ 2015) sowie C._ (1C_140/2015) in getrennten, aber im Wesentlichen gleichlautenden Eingaben Beschwerde beim Bundesgericht erhoben. Sie beantragen, Ziff. 1 des angefochtenen Urteils sei aufzuheben und die Baubewilligung für ihre Bauvorhaben sei zu erteilen. Überdies beantragen sie die Vereinigung der drei Beschwerdeverfahren.
F.
Der Gemeinderat Niederlenz und das BVU beantragen, die Beschwerden seien gutzuheissen. Die F._ AG (Beschwerdegegnerin) schliesst auf Abweisung der Beschwerden. Das Verwaltungsgericht hat auf eine Vernehmlassung verzichtet.
Das Bundesamt für Umwelt (BAFU) geht mit dem angefochtenen Entscheid davon aus, dass die Immissionsgrenzwerte an allen Fenstern lärmempfindlicher Räume einzuhalten sind. Dagegen erachtet es (anders als die Vorinstanz) den Einbau einer transparenten Fassade im ersten Obergeschoss für bundesrechtskonform.
Im weiteren Schriftenwechsel halten die Beteiligten an ihren Anträgen fest, soweit sie sich noch äussern.
G.
Die I. öffentlich-rechtliche Abteilung hat die Angelegenheit am 16. März 2016 in öffentlicher Sitzung beraten und entschieden.

considerations:
Erwägungen:
1.
Gegen die kantonal letztinstanzlichen Endentscheide des Verwaltungsgerichts steht grundsätzlich die Beschwerde in öffentlich-rechtlichen Angelegenheiten ans Bundesgericht offen (Art. 82 lit. a, 86 Abs. 1 lit. d und 90 BGG). Die Beschwerdeführer sind als Baugesuchsteller, deren Baubewilligung aufgehoben wurde, zur Beschwerde legitimiert (<ref-law>). Auf die rechtzeitig erhobenen Beschwerden (<ref-law>) ist einzutreten.
Da die Beschwerden die gleichen Rechtsfragen aufwerfen, rechtfertigt es sich, die Verfahren zu vereinigen.
2.
Die Beschwerdeführer rügen zunächst, das Verwaltungsgericht habe die rechtskräftigen Sondernutzungsvorschriften (SNV) entgegen ihrem klaren Wortlaut ausgelegt. Dies sei willkürlich und verletze die Gemeindeautonomie. Nach den SNV sei den Anforderungen des Lärmschutzes Genüge getan, wenn jeder lärmempfindliche Raum über mindestens ein Lüftungsfenster auf der lärmabgewandten Ostfassade verfüge. Weitere Massnahmen und Wirkungsnachweise seien nur erforderlich, wenn andere bauliche und gestalterische Massnahmen gewählt würden (z.B. die Belüftung über eine verglaste Vorzone, lokale Lärmschutzwände etc.). Die Beschwerdeführer sind der Auffassung, dass die Einhaltung der Immissionsgrenzwerte nicht mehr zu überprüfen sei, wenn - wie hier - in einem rechtskräftigen Erschliessungsplan schon die Einhaltung der strengeren Planungswerte durch verschiedene Lärmschutzmassnahmen gesichert worden sei.
2.1. Das USG stellt unterschiedliche Anforderungen, je nachdem, ob es um die Ausscheidung neuer bzw. die Erschliessung bestehender Bauzonen geht (Art. 24 Abs. 1 und 2 USG) oder um die Bewilligung von Bauten mit lärmempfindlichen Räumen (<ref-law>). Während im ersten Fall aus Gründen der Vorsorge auf die strengeren Planungswerte abgestellt wird, müssen im Baubewilligungsverfahren nur noch (aber immerhin) die Immissionsgrenzwerte an den lärmempfindlichen Räumen der projektierten Bauten eingehalten werden (vgl. dazu ROBERT WOLF, in: USG-Kommentar, Mai 2000, Art. 22 N. 7-9).
2.2. Wurde - wie hier - ein Erschliessungsplan zur Sicherung der Einhaltung der Planungswerte erlassen, befreit dies nicht vom Nachweis der Einhaltung der Immissionsgrenzwerte im Baubewilligungsverfahren: Zwischen dem Erlass des Erschliessungsplans und der Erteilung der Baubewilligung liegt in der Regel eine gewisse Zeitspanne, in der sich die Immissionssituation verändert haben kann. Massgeblich für die Baubewilligung sind die in diesem Zeitpunkt zu erwartenden Aussenlärmimmissionen (<ref-law>), die von den im Gestaltungsplan ermittelten abweichen können (vgl. WOLF, a.a.O., Art. 24 N. 32). Zudem muss im Baubewilligungsverfahren überprüft werden, ob die Immissionsgrenzwerte an allen im Baugesuch vorgesehenen lärmempfindlichen Räumen auch tatsächlich eingehalten werden, während es nach <ref-law> genügt, wenn die Planungswerte im "überwiegenden Teil" der Zone eingehalten werden.
2.3. <ref-law> stellt direkt anwendbares, zwingendes Bundesumweltrecht dar, das in jedem Baubewilligungsverfahren zu beachten ist und entgegenstehendem kantonalem bzw. kommunalem Recht vorgeht (<ref-law>). Kommunale Erschliessungs- und Sondernutzungspläne können - und müssen sogar nach <ref-law> - zusätzliche Anforderungen enthalten, um nach Möglichkeit die Einhaltung der tieferen Planungswerte zu gewährleisten. Sind aber schon die Immissionsgrenzwerte nicht eingehalten, so darf die Baubewilligung nach <ref-law> nicht erteilt werden, unabhängig davon, ob die Sondernutzungsvorschriften eingehalten wurden und ob diese ihrerseits noch akzessorisch auf ihre Bundesrechtskonformität überprüft werden können oder nicht.
Im Folgenden ist daher zunächst zu prüfen, ob die streitigen Bauvorhaben den Vorgaben von <ref-law> entsprechen. Nur wenn dies zu bejahen wäre, müssten noch die Rügen zur Auslegung und Anwendung der SNV und anderer Bestimmungen des kommunalen Rechts behandelt werden.
3.
Gemäss <ref-law> werden Baubewilligungen in lärmbelasteten Gebieten für neue Gebäude, die dem längeren Aufenthalt von Personen dienen, nur erteilt, wenn die Immissionsgrenzwerte nicht überschritten werden (Abs. 1) oder die Räume zweckmässig angeordnet und die allenfalls notwendigen zusätzlichen Schallschutzmassnahmen getroffen werden (Abs. 2). <ref-law> präzisiert, dass Neubauten und wesentliche Änderungen von Gebäuden mit lärmempfindlichen Räumen nur bewilligt werden dürfen, wenn die Immissionsgrenzwerte eingehalten werden können durch die Anordnung der lärmempfindlichen Räume auf der dem Lärm abgewandten Seite des Gebäudes (lit. a) oder durch bauliche oder gestalterische Massnahmen, die das Gebäude gegen Lärm abschirmen (lit. b). Nach <ref-law> werden die Lärmimmissionen bei Gebäuden in der Mitte der offenen Fenster lärmempfindlicher Räume ermittelt.
3.1. Das Verwaltungsgericht ging davon aus, dass die Immissionsgrenzwerte an allen Fenstern lärmempfindlicher Räume einzuhalten seien. Dies entspreche Wortlaut und Zweck von Art. 39 Abs. 1 und Art. 31 LSV. Die gesundheitsschädigenden Wirkungen übermässigen Lärms liessen sich nicht wesentlich reduzieren, wenn die Lärmschutzmassnahmen nur an einzelnen Fenstern umgesetzt würden. Der Schutz vor den Langzeitfolgen übermässigen Lärms dürfe nicht davon abhängen, wie die jeweiligen Bewohner die Räume belüfteten bzw. welche Fenster sie tatsächlich öffneten. Dies gelte umso mehr, als für ein effizientes Lüften ("Stoss-Lüften") einzelne Lüftungsfenster nicht ausreichten.
3.2. Die Beschwerdeführer berufen sich dagegen auf die Vollzugspraxis zahlreicher Kantone, wonach es genügt, wenn die Immissionsgrenzwerte an mindestens einem Fenster pro lärmempfindlichem Raum eingehalten werden, das zum Lüften geeignet ist (sog. Lüftungsfensterpraxis). Dies sei vorliegend der Fall, weil jeder Aufenthaltsraum über ein Fenster auf der lärmabgewandten Seite (Osten) verfüge (zum Zimmer im Obergeschoss mit transparenten Fassadenteilen vgl. unten E. 5). Den gesundheitspolizeilichen Anliegen sei damit genügend Rechnung getragen. Niemand werde ein Fenster auf der dem Lärm zugewandten Seite längere Zeit geöffnet lassen, wenn ihm ein Lüftungsfenster ohne Lärmbelastung als Alternative zur Verfügung stehe. Müsste auf sämtliche Fenster an den Nord-, Süd- und Westfassaden verzichtet werden, entstünde ein bunkerartiger Bau, der den wohnhygienischen Vorschriften nicht gerecht würde und auch städtebaulich problematisch wäre. Ansonsten müsste ganz auf die Überbauung verzichtet werden, was im Widerspruch zum Gebot der haushälterischen Bodennutzung stünde (Art. 3 Abs. 3 lit. a bis RPG [SR 700] und Art. 5a Abs. 3 lit. b der Raumplanungsverordnung vom 28. Juni 2000 [RPV; SR 700.1]). Die vom Verwaltungsgericht favorisierte Auslegung würde in vielen Kantonen mit gefestigter "Lüftungsfensterpraxis" zu Auszonungen führen.
3.3. Die Beschwerdegegnerin wendet ein, dass die Nutzung des in unmittelbarer Nähe zur Arbeitszone gelegenen Gebiets "Bölli Süd" bei einer angepassten, die Lärmvorbelastung berücksichtigenden individuellen Planung durchaus möglich wäre. Vorliegend würden jedoch einfache Einfamilienhäuser geplant, die nicht einmal den Minergiestandard einhielten. Dies widerspreche den Intentionen des Gesetzgebers, den Gesundheitsschutz der Bewohner höher zu werten als wirtschaftliche Erwägungen. Entgegen dem Vorbringen der Beschwerdeführer sei auch damit zu rechnen, dass die lärmexponierten Fenster bzw. Fenstertüren an der Südfassade geöffnet würden, beispielsweise zur Erschliessung des Sitzplatzes.
3.4. Das BAFU teilt die Auffassung des Verwaltungsgerichts, wonach die Ermittlung der Lärmimmissionen nicht nur an einzelnen, sondern an sämtlichen Fenstern lärmempfindlicher Räume durchzuführen sei. Die "Lüftungsfensterpraxis", wie sie in einigen Kantonen betrieben werde, habe zur Folge, dass <ref-law> praktisch gegenstandslos werde; damit werde der Wille des Gesetzgebers, die Erstellung von Gebäuden mit lärmempfindlichen Räumen in lärmbelasteten Gebieten grundsätzlich zu verbieten, ins Gegenteil verkehrt.
3.5. Die Vollzugspraxis der Kantone ist unterschiedlich (vgl. STEFAN RIEDER/JUDITH HAUENSTEIN/CHRISTOF SCHWENKEL/OLIVIER DOLDER, Evaluation zum Vollzug der Artikel 22 und 24 Umweltschutzgesetz (USG) respektive Art. 29, 30 und 31 Lärmschutz-Verordnung (LSV); Schlussbericht zuhanden des BAFU, Luzern/Zürich, 27. Oktober 2011, S. 30, 58, 95). Rund die Hälfte der Kantone erteilen eine Baubewilligung, wenn die Immissionsgrenzwerte an mindestens einem zur Lüftung geeigneten Fenster jedes lärmempfindlichen Raums eingehalten werden (vgl. z.B. die Wegleitungen "Bauen im Lärm" der Fachstellen Lärmschutz des Kantons Zürich S. 6 und des Kantons Basel-Landschaft S. 10; letztere verlangt zusätzlich die Einhaltung der Alarmwerte an allen Fenstern). Andere Kantone erteilen in derartigen Fällen gegebenenfalls eine Ausnahmebewilligung nach Art. 31 Absatz 2 LSV; dabei wird teilweise verlangt, dass die Fenster auf der lärmexponierten Seite fest verschraubt werden (a.a.O. S. 91).
Die "Lüftungsfensterpraxis" soll aus Sicht des Wohnkomforts und der Ortsgestaltung schlechtere Lösungen verhindern (insbesondere verschlossene Fenster, ungünstige Wohnungsgrundrisse, "blinde" Fassaden zur Strassenseite) und das Bauen in zentralen Lagen ermöglichen. Das Verwaltungsgericht Zürich schützte diese Praxis im Urteil vom 16. April 2015 (VB 2014.00307 E. 11. insbes. 11.7) : Es sei nicht erforderlich, dass eine lärmgeschützte Lüftung über sämtliche Fenster möglich sei, dienten doch Fenster in erster Linie der Belichtung. Müsste der Immissionsgrenzwert an allen Fenstern eingehalten werden, wären weit grössere Abstände zur Strasse erforderlich. Dies sei mit dem Gebot der Verdichtung und der Siedlungsentwicklung nach innen (Art. 1 Abs. 2 lit. b RPG) nicht zu vereinbaren.
3.6. In der Literatur wird die "Lüftungsfensterpraxis" überwiegend als gesetzwidrig abgelehnt (ALAIN GRIFFEL/HERIBERT RAUSCH, Kommentar zum USG, Ergänzungsband 2011, Art. 22 N. 5; ALAIN GRIFFEL, Umweltrecht in a nutshell, Zürich/St. Gallen 2015, S. 119; CHRISTOPH JÄGER, Bauen in lärmbelastetem Gebiet, Raum und Umwelt 4/2009 S. 10 ff.). Sie widerspreche dem Wortlaut sowie Sinn und Zweck von <ref-law> und <ref-law>. WOLF (a.a.O., Art. 22 Rz. 24, 41) hält die Praxis zumindest dann für vertretbar, wenn keine besseren Lösungen zur Verfügung stehen und die Fenster, an denen die Immissionsgrenzwerte überschritten sind, eine verbesserte Schalldämmung erhalten. Die Praxis gewisser Kantone, in solchen Fällen eine Ausnahmebewilligung zu erteilen, habe den Vorteil, die Praxis auf Fälle zu beschränken, in denen eine sinnvolle andere Lösung nicht in Frage komme, jedoch seien die Voraussetzungen von <ref-law> (überwiegendes Interesse an der Errichtung des Gebäudes) oft nicht erfüllt. ANNE-CHRISTINE FAVRE (La protection contre le bruit dans la loi sur la protection de l'environnement, Diss. Lausanne 2002, S. 268) erwähnt die Lüftungsfensterpraxis, ohne dazu Stellung zu nehmen.
3.7. Das Bundesgericht hat sich bisher noch nicht direkt zur "Lüftungsfensterpraxis" geäussert. Allerdings ging es stets davon aus, dass die Lärmimmissionen am offenen Fenster gemessen werden müssten (<ref-ruling> E. 30 S. 127), und zwar unabhängig davon, ob sich die Fenster überhaupt (ganz oder teilweise) öffnen lassen (<ref-ruling> E. 2b S. 37).
Passive Schallschutzmassnahmen - einschliesslich fest verschlossene Fenster - stellen nach ständiger Rechtsprechung keine baulichen und gestalterischen Massnahmen im Sinne von <ref-law> dar, weil dadurch die Immissionen nur im Rauminnern, nicht aber am offenen Fenster reduziert werden könnten (Urteil 1C_196/2008 vom 13. Januar 2009 E. 2.4 mit Hinweisen, in: URP 2009 S. 500; SJ 2009 I S. 377; RDAF 2010 I S. 420). Dies wurde im Urteil 1C_331/ 2011 vom 30. November 2011 E. 7.3.2 (in: URP 2012 S. 295; RDAF 2013 I S. 499) für Minergiebauten mit Komfortlüftung bestätigt. In diesem Zusammenhang führte das Bundesgericht aus, dass die Messung am offenen Fenster den künftigen Bewohnern die Möglichkeit geben solle, ihre Fenster zu öffnen, unabhängig davon, ob dies zum Lüften erforderlich sei. Zudem werde indirekt auch der Schutz von Aussenräumen gewährleistet: Müsse der Planungs- bzw. der Immissionsgrenzwert am offenen Fenster eingehalten werden, bedeute dies, dass der Lärmpegel auch in der Umgebung (Balkone, Vorgärten etc.) nur unwesentlich darüber liege. Dies diene dem Wohlbefinden der künftigen Bewohner und liege deshalb im Gestaltungsspielraum des Verordnungsgebers (so auch WOLF, a.a.O., Art. 22 N. 8).
Im Entscheid 1A.139/2002 vom 5. März 2003 E. 5.4 (in: URP 2003 S. 703; ZBl 105/2004 S. 94) ging es um die Einhaltung der Planungswerte durch einen Gastwirtschaftsbetrieb (<ref-law>). Das Bundesgericht bestätigte die Auffassung der Vorinstanz, dass der Beurteilungspegel an allen Fenstern lärmempfindlicher Räume in der Umgebung einzuhalten sei, weil keine Verpflichtung der Anwohner bestehe, auf die Öffnung bestimmter Fenster zu verzichten. <ref-law> verlange eine Messung am offenen Fenster, ohne Rücksicht darauf, ob dieses als Lüftungsfenster benutzt werde oder überhaupt geöffnet werden könne. Ausweich- und Schutzmöglichkeiten der Bewohner seien erst für die Erteilung von Erleichterungen gemäss <ref-law> zu berücksichtigen, nicht aber bei der Beurteilung der Lärmimmissionen gemäss <ref-law>.
4.
Im Folgenden ist zu prüfen, ob es Gründe gibt, für das Bauen in lärmbelasteten Gebieten (<ref-law>) die Messung an dem am wenigsten exponierten "Lüftungsfenster" jedes lärmempfindlichen Raums ausreichen zu lassen.
4.1. Ein Erlass muss in erster Linie aus sich selbst heraus, das heisst nach dem Wortlaut, Sinn und Zweck und den ihm zugrunde liegenden Wertungen auf der Basis einer teleologischen Verständnismethode ausgelegt werden. Die Gesetzesauslegung hat sich vom Gedanken leiten zu lassen, dass nicht schon der Wortlaut die Norm darstellt, sondern erst das an Sachverhalten verstandene und konkretisierte Gesetz (<ref-ruling> E. 2.4 S. 198 mit Hinweisen). Die Formulierungen einer Norm in den drei Amtssprachen Deutsch, Französisch und Italienisch sind gleichwertig.
4.2. Nach <ref-law> werden die Lärmimmissionen bei Gebäuden "in der Mitte der offenen Fenster lärmempfindlicher Räume" ermittelt (italienisch "al centro delle finestre aperte dei locali sensibili al rumore"). In der deutschen und der italienischen Fassung wird der Plural verwendet, was eher dafür spricht, dass die Immissionsgrenzwerte an allen Fenstern eingehalten werden müssen, ansonsten der Verordnungsgeber sinnvollerweise eine andere Formulierung gewählt hätte. Dagegen verwendet der französische Text die Einzahl ("au milieu de la fenêtre ouverte des locaux à usage sensible au bruit") ohne allerdings zu sagen, welches von mehreren Fenstern massgeblich sein soll. Aufgrund einer rein grammatikalischen Auslegung lässt sich die hier interessierende Frage daher nicht klar beantworten.
4.3. Vom Schutzgedanken des Umweltrechts her liegt es näher, auf das am stärksten und nicht auf das am wenigsten exponierte Fenster abzustellen. Dies entspricht etwa der Vorgabe für die Berechnung der Strahlungsbelastung an Orten für den kurzfristigen Aufenthalt und mit empfindlicher Nutzung gemäss Art. 11 Abs. 2 lit. c Ziff. 1 und 2 der Verordnung vom 23. Dezember 1999 über den Schutz vor nichtionisierender Strahlung (NISV; SR 814.710).
Zum selben Ergebnis führt die Bezugnahme auf <ref-law>: diese Bestimmung statuiert ein grundsätzliches Bauverbot für lärmempfindliche Räume in Gebieten, in denen die Immissionsgrenzwerte überschritten sind und daher längerfristig eine Gesundheitsschädigung der Bewohner zu befürchten ist. In solchen Gebieten darf eine Baubewilligung nach <ref-law> und <ref-law> nur erteilt werden, wenn "das Gebäude" gegen Lärm abgeschirmt werden kann (lit. b) oder aber die "lärmempfindlichen Räume" auf der dem Lärm abgewandten Seite des Gebäudes angeordnet werden. Auch diese Formulierung lässt darauf schliessen, dass die blosse Anordnung einzelner Lüftungsfenster auf der vom Lärm abgewandten Seite nicht genügt.
Sind die Immissionsgrenzwerte überschritten, kann die Überbauung nach der Konzeption der LSV nur ausnahmsweise bewilligt werden, wenn ein überwiegendes Interesse an ihrer Erstellung besteht (<ref-law>); diesfalls müssen die Anforderungen an die Schalldämmung der Aussenbauteile angemessen verschärft werden (<ref-law>). Mit dieser restriktiven Regelung wollte der Gesetzgeber dem Gesundheitsschutz Vorrang gegenüber dem Interesse an der zonenkonformen Nutzung von Bauparzellen einräumen.
4.4. Entscheidend für die Auslegung von <ref-law> ist indes der Zweckgedanke dieser Bestimmung: Die "Lüftungsfensterpraxis" führt, wie das BAFU und die Vorinstanz dargelegt haben, zur Aushöhlung des vom Gesetzgeber gewollten Gesundheitsschutzes: Genügt es für die Baubewilligung, wenn die Immissionsgrenzwerte am ruhigsten Fenster jedes lärmempfindlichen Raums eingehalten sind, kann sich die Projektgestaltung auf die Abschirmung der hinterliegenden Lüftungsfenster beschränken; weitere Massnahmen werden aus Kostengründen nicht ergriffen und könnten auch nicht verlangt werden (JÄGER, a.a.O., S. 12/13). Die Vollzugsbehörde muss vielmehr die Baubewilligung erteilen, ohne dass Raum für eine Interessenabwägung verbleibt. Auch <ref-law> (verschärfte Anforderungen an die Schalldämmung) kommt nicht zum Zuge, wenn keine Ausnahmebewilligung erforderlich ist. Wenn es genügt, Lüftungsfenster auf der lärmabgewandten Seite vorzuschreiben, um die Zonenplanung zu realisieren, sinkt der Druck auf das Gemeinwesen, Massnahmen zur Bekämpfung von schädlichen oder lästigen Lärmimmissionen an der Quelle anzuordnen, obwohl diese nach <ref-law> Vorrang geniessen.
4.5. Die unerwünschten Auswirkungen der "Lüftungsfensterpraxis" illustriert der vorliegende Fall: Gewöhnliche Einfamilienhäuser sollen in unmittelbarer Nähe einer Fabrik erstellt werden, die rund um die Uhr (24-Stunden-Betrieb) und an 7 Tagen der Woche Immissionen erzeugt, die erheblich (bis zu 10 dB) über dem Immissionsgrenzwert liegen. Weder wurden Massnahmen zur Emissionsbegrenzung an der Quelle (Lärmsanierung der Fabrik) oder auf dem Übertragungsweg (z.B. Lärmschutzwälle, Schutz der Wohnbauten durch vorgelagerte Gewerbebauten) ergriffen, noch eine spezielle, auf die Lärmsituation zugeschnittene Überbauung verlangt. Eine erhöhte Schalldämmung der Fassade wurde erst vom BVU im Beschwerdeverfahren angeordnet, und zwar nur deshalb, weil Lüftungsfenster im ersten Obergeschoss fehlen (vgl. unten E. 5). Würde die geplante Überbauung realisiert, hätte dies zur Folge, dass die Bewohner Tag und Nacht, unter der Woche und am Wochenende, gesundheitsschädlichem Lärm ausgesetzt wären, sofern sie nicht die Fenster auf drei von vier Fassadenseiten verschlossen hielten und auf die Nutzung ihrer Aussenanlagen (Sitzplätze, Garten) verzichteten.
4.6. Hauptargument der Befürworter der Lüftungsfensterpraxis ist, dass nur mit ihrer Hilfe die raumplanerisch gebotene Siedlungsverdichtung nach innen realisiert werden könne (vgl. RIEDER/HAUENSTEIN/ SCHWENKEL/DOLDER, a.a.O., S. 58 ff. mit Fallbeispielen aus Zürich). In zahlreichen Städten seien die Immissionsgrenzwerte, vor allem entlang vielbefahrener Strassen, überschritten. Könnten an zentralen Lagen keine Wohnbauten mehr realisiert werden, würden die Innenstädte entvölkert und die Wohnüberbauung auf die Aussenbezirke verlagert. Dies widerspräche den Zielen und Grundsätzen der Raumentwicklung, wonach der Boden haushälterisch zu nutzen (Art. 1 Abs. 1 RPG) und die Siedlungsentwicklung nach innen zu lenken sei (Art. 1 Abs. 2 lit. a bis RPG), durch bessere Ausnützung und Verdichtung der bestehenden Siedlungsflächen (Art. 3 Abs. 3 lit. a bis RPG). Die in Art. 31 Abs. 1 lit. a und b RPV vorgesehenen Massnahmen zur Emissionsbegrenzung seien in städtischen Zentren zum Teil nicht möglich (z.B. Lärmschutzwände) oder führten zu städtebaulich unbefriedigenden Ergebnissen (z.B. geschlossene Fassaden zur Strassenseite; Ausrichtung von Wohnungen nach Norden, ungünstige Wohnungs-Grundrisse; vgl. RIEDER/HAUENSTEIN/SCHWENKEL/DOLDER S. 30 unten).
Diese Argumente sind ernst zu nehmen. Tatsächlich können Zielkonflikte zwischen dem Lärmschutz und der raumplanerisch gebotenen Siedlungsverdichtung bestehen. Seit dem Erlass des USG und der LSV in den 1980er Jahren hat sich die raumplanerische Problematik der Zersiedlung und des Bodenverbrauchs verschärft. Die RPG-Revision vom 15. Juni 2012 (in Kraft seit 1. Mai 2014; AS 2014 899; BBl 2010 1049) verpflichtet die Kantone, binnen 5 Jahren ihre kantonalen Richtpläne anzupassen, insbesondere um eine hochwertige Siedlungsentwicklung nach innen zu bewirken und die Siedlungserneuerung zu stärken (Art. 8a Abs. 1 lit. c und e RPG).
Diesen wichtigen Anliegen der Raumplanung kann jedoch auf dem Wege der Ausnahmebewilligung Rechnung getragen werden: Diese ist mit Zustimmung des Kantons zulässig (<ref-law>), wenn die strikte Anwendung von <ref-law>, unter Würdigung aller Umstände des Einzelfalls, unverhältnismässig wäre (vgl. Urteil 1C_704/2013 vom 17. September 2014 E. 6.4, in: URP 2014 S. 643; RDAF 2015 I S. 378).
Schon bisher wurden bei der gebotenen Interessenabwägung raumplanerische Gründe berücksichtigt und eine Ausnahmebewilligung erteilt, wenn sich das Bauvorhaben im weitgehend überbauten Gebiet befand, ein akuter Bedarf an Wohnraum bestand, die Immissionsgrenzwerte nicht erheblich überschritten waren und ein angemessener Wohnkomfort sichergestellt war (vgl. z.B. die Urteile 1A.108/2003 vom 9. September 2003 E. 2, in: URP 2003 S. 832; SJ 2003 I p. 586; RDAF 2004 I S. 748; 1C_451/2010 vom 22. Juni 2011 E. 5, insbes. 5.7, in: URP 2012 S. 1; RDAF 2013 I S. 493).
In Zukunft wird dem raumplanerischen Anliegen einer hochwertigen Siedlungsentwicklung nach innen verstärkt Rechnung zu tragen sein. Bauvorhaben, die aus dieser Sicht wünschenswert erscheinen, wird eine Ausnahmebewilligung erteilt werden können, auch wenn die Immissionsgrenzwerte unwesentlich überschritten sind, sofern deren Einhaltung nicht in städtebaulich befriedigender Weise erreicht und mittels Lüftungsfenstern an der lärmabgewandten Seiten und allfälligen weiteren Massnahmen ein angemessener Wohnkomfort sichergestellt werden kann.
4.7. Nach dem Gesagten verlangen <ref-law>, Art. 31 Abs. 1 und <ref-law>, dass die Immissionsgrenzwerte an allen Fenstern lärmempfindlicher Räume eingehalten werden. Diese Voraussetzung ist im vorliegenden Fall nicht erfüllt. Eine Ausnahmebewilligung (<ref-law>) kommt offensichtlich nicht in Betracht, da auch aus raumplanerischer Sicht kein Interesse an der Erstellung der streitigen Einfamilienhäuser ersichtlich ist, noch dazu im Umfeld einer lärmigen Fabrik.
5.
Unter diesen Umständen braucht nicht mehr geprüft zu werden, ob das im Obergeschoss der Einfamilienhäuser vorgesehene Zimmer mit transparenten Fassadenbauteilen und künstlicher Lüftung den Anforderungen des Bundesumweltrechts (<ref-law>) und des kommunalen Rechts (§ 33 Abs. 1 BNO Niederlenz) genügt.
Kann das Gebiet Bölli Süd damit nicht wie vorgesehen überbaut werden, wird die Gemeinde Niederlenz ihre Zonen- und Erschliessungsplanung überprüfen müssen. Denkbar wäre, das Gebiet (ganz oder an der Grenze zur Arbeitszone) einer lärmunempfindlichen Nutzung zuzuweisen. Bleibt es bei der Wohnnutzung, müssen Massnahmen zur Emissionsbegrenzung an der Quelle (Fabrik) oder auf dem Übertragungsweg oder eine Kombination von beidem geprüft werden; zudem wird der Erschliessungs-/Sondernutzungsplan für das Gebiet zu überarbeiten sein.
6.
Die Beschwerden sind somit abzuweisen. Bei diesem Ausgang des Verfahrens werden die Beschwerdeführer kosten- und entschädigungspflichtig (Art. 66 und 68 BGG).

rulings:
Demnach erkennt das Bundesgericht:
1.
Die Verfahren 1C_ 139/2015, 1C_140/2015 und 1C_141/2015 werden vereinigt.
2.
Die Beschwerden werden abgewiesen.
3.
Die Gerichtskosten von insgesamt Fr. 4'500.-- werden den Beschwerdeführern jedes Verfahrens zu je einem Drittel (Fr. 1'500.--) auferlegt.
4.
Die Beschwerdeführer jedes Verfahrens haben die Beschwerdegegnerin mit je Fr. 1'500.-- (insgesamt Fr. 4'500.--) zu entschädigen.
5.
Dieses Urteil wird den Parteien, dem Gemeinderat Niederlenz, dem Departement Bau, Verkehr und Umwelt und dem Verwaltungsgericht des Kantons Aargau, 3. Kammer, sowie dem Bundesamt für Umwelt schriftlich mitgeteilt.
Lausanne, 16. März 2016
Im Namen der I. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Fonjallaz
Die Gerichtsschreiberin: Gerber


facts:
Faits :
A.
A._ (1957) et B._ (1962), se sont mariés le 27 juin 1986. Ils ont eu deux enfants, aujourd'hui majeurs: C._ (1990) et D._ (1994). L'épouse exerce la fonction de curatrice de D._, celui-ci étant atteint d'autisme et ayant besoin d'assistance pour divers aspects de sa vie quotidienne.
Les parties vivent séparées depuis le 8 mars 2010. Leur séparation a d'abord été réglementée par divers prononcés de mesures protectrices de l'union conjugale. Lors d'une audience de mesures protectrices qui s'est tenue le 28 juin 2012, le Président du Tribunal civil de l'arrondissement de l'Est vaudois a ratifié une convention prévoyant notamment que l'époux s'acquitterait d'une contribution d'entretien de 2'000 fr. par mois en faveur de son épouse, plus les allocations familiales versées en faveur de D._.
Le 27 janvier 2015, l'épouse a déposé une demande unilatérale en divorce.
B.
Le 20 mars 2015, A._ a requis le prononcé de mesures superprovisionnelles et provisionnelles (modification des mesures protectrices), tendant à ce que la pension soit réduite à 575 fr. par mois dès le 1er avril 2015. Il a invoqué une baisse de ses propres revenus. Sa requête de mesures superprovisionnelles a été rejetée le 23 mars 2015. Par ordonnance du 2 juillet 2015, le Président du Tribunal civil de l'Est vaudois a partiellement admis la requête de mesures provisionnelles, fixant la pension en faveur de l'épouse à 200 fr. dès le 1er avril 2015.
Statuant le 28 septembre 2015 sur appel de l'épouse, la Juge déléguée de la Cour d'appel civile du Tribunal cantonal du canton de Vaud a admis l'appel, rejeté la requête de mesures provisionnelles du 20 mars 2015, et rappelé que la contribution de l'époux à l'entretien de l'épouse s'élevait à 2'000 fr., plus les allocations familiales versées en faveur de D._.
C.
Par mémoire du 18 novembre 2015, A._ exerce un recours en matière civile au Tribunal fédéral, sollicitant principalement la réforme de l'arrêt entrepris, en ce sens que la contribution d'entretien est réduite à 575 fr. par mois dès le 1er avril 2015, et subsidiairement le renvoi de la cause à l'autorité cantonale pour nouvelle décision. Il requiert aussi le bénéfice de l'assistance judiciaire pour la procédure fédérale.
Il n'a pas été demandé de réponses.

considerations:
Considérant en droit :
1.
L'arrêt attaqué, qui porte sur des mesures provisionnelles rendues dans le cadre d'une procédure de divorce (modification de mesures protectrices de l'union conjugale), est une décision finale (<ref-law>; <ref-ruling> consid. 2.2 p. 431) rendue par un tribunal supérieur statuant sur recours en dernière instance cantonale (<ref-law>) dans une affaire civile (<ref-law>) de nature pécuniaire, dont la valeur litigieuse atteint 30'000 fr. (art. 51 al. 1 let. a, 51 al. 4 et 74 al. 1 let. b LTF). Le recours a été interjeté en temps utile (<ref-law>) et en la forme prévue par la loi (<ref-law>), par une partie qui a pris part à la procédure devant l'autorité précédente (<ref-law>) et a un intérêt digne de protection à l'annulation ou à la modification de la décision attaquée (<ref-law>).
2.
2.1. Comme la décision entreprise porte sur des mesures provisionnelles au sens de l'<ref-law> (<ref-ruling> consid. 5.1 p. 396, 585 consid. 3.3 p. 587), la partie recourante ne peut dénoncer que la violation de droits constitutionnels. Le Tribunal fédéral n'examine de tels griefs que s'ils ont été invoqués et motivés par le recourant (" principe d'allégation ", <ref-law>), c'est-à-dire s'ils ont été expressément soulevés et exposés de manière claire et détaillée (<ref-ruling> consid. 3.2 p. 88 et les arrêts cités).
En particulier, une décision ne peut être qualifiée d'arbitraire (art. 9 Cst.) que si elle est manifestement insoutenable, méconnaît gravement une norme ou un principe juridique clair et indiscuté, ou heurte de manière choquante le sentiment de la justice et de l'équité; il ne suffit pas qu'une autre solution paraisse concevable, voire préférable; pour que cette décision soit annulée, encore faut-il qu'elle se révèle arbitraire non seulement dans ses motifs, mais aussi dans son résultat (<ref-ruling> consid. 3.1 p. 153 et les références). Partant, le recourant ne peut se borner à critiquer la décision attaquée comme il le ferait en procédure d'appel, où l'autorité de recours jouit d'une libre cognition, notamment en se contentant d'opposer sa thèse à celle de l'autorité précédente. Il doit démontrer, par une argumentation précise, que cette décision se fonde sur une application de la loi ou une appréciation des preuves insoutenables (<ref-ruling> consid. 3.2 p. 400); les critiques de nature appellatoire sont irrecevables (<ref-ruling> consid. 2 p. 591 s. et les arrêts cités).
2.2. Le Tribunal fédéral statue sur la base des faits établis par l'autorité précédente (<ref-law>). Dans l'hypothèse d'un recours limité aux griefs d'ordre constitutionnel, le recourant qui entend invoquer que les faits ont été établis de manière manifestement inexacte ne peut obtenir la rectification ou le complètement des constatations de fait de l'arrêt cantonal que s'il démontre la violation de droits constitutionnels, conformément au principe d'allégation susmentionné (cf. supra consid. 2.1); les art. 95, 97 et 105 al. 2 LTF ne s'appliquent pas directement (<ref-ruling> consid. 7.1 p. 398; <ref-ruling> consid. 4.1 p. 588 s.). Toutefois, l'application de l'art. 9 Cst. aboutit pratiquement au même résultat: le Tribunal fédéral ne corrige les constatations de fait que si elles sont arbitraires et ont une influence sur le résultat de la décision (<ref-ruling> consid. 1.2.2 p. 252). Le recourant ne peut donc pas se borner à contredire les constatations litigieuses par ses propres allégations ou par l'exposé de sa propre appréciation des preuves; il doit indiquer de façon précise en quoi ces constatations sont contraires au droit ou entachées d'une erreur indiscutable, c'est-à-dire arbitraires au sens de l'art. 9 Cst. (<ref-ruling> consid. 1.2.2 p. 252). Une critique des faits qui ne satisfait pas à cette exigence est irrecevable (<ref-law>; <ref-ruling> consid. 1.4.3 p. 254 s.).
3.
Après que l'action en divorce a été introduite, les époux peuvent solliciter la modification de mesures protectrices de l'union conjugale si, depuis l'entrée en vigueur de celles-ci, les circonstances de fait ont changé d'une manière essentielle et durable, ou encore si le juge s'est fondé sur des faits qui se sont révélés faux ou ne se sont par la suite pas réalisés comme prévus (<ref-law>, applicable par renvoi de l'<ref-law>). Une modification peut également être demandée si la décision de mesures protectrices est apparue plus tard injustifiée parce que le juge appelé à statuer n'a pas eu connaissance de faits importants. La procédure de modification n'a cependant pas pour but de corriger le premier jugement, mais de l'adapter aux circonstances nouvelles (<ref-ruling> consid. 3.3.1 p. 378 et les références; arrêt 5A_155/2015 du 18 juin 2015 consid. 3.1). Le moment déterminant pour apprécier si des circonstances nouvelles se sont produites est la date du dépôt de la demande de modification (<ref-ruling> consid. 4.1.1 p. 606 et les références).
Le caractère notable de la modification alléguée se détermine in concreto, en fonction de chaque cas particulier, en comparant les situations avant et après le changement de circonstances (arrêts 5A_138/2015 du 1er avril 2015 consid. 4.1.1; 5A_93/2011 du 13 septembre 2011 consid. 6.1).
4.
En substance, la juridiction d'appel a considéré que l'époux n'avait pas rendu vraisemblable l'existence d'une modification essentielle et durable des circonstances au moment du dépôt de sa requête, de sorte qu'il n'y avait pas lieu d'entrer en matière sur celle-ci.
L'instruction a permis d'établir que l'époux a été licencié, avec effet au 31 mars 2015, de son poste d'agent et de conseiller en assurances auprès de E._ SA. Son employeur lui a toutefois proposé de prendre une retraite anticipée et de conserver la gestion d'un portefeuille de clients, dont la valeur a été diminuée de 1'700'000 fr. à 500'000 fr., ce qu'il a accepté. L'époux avait expliqué que le système de rémunération pratiqué par son employeur était " loin d'être simple " et " confin [ait] au véritable casse-tête lorsqu'intervient un changement de statut du type de celui qui est intervenu ". Se fondant sur une attestation établie le 17 septembre 2015 par son employeur, il soutenait que les commissions réalisées dans le cadre de son nouveau statut s'étaient élevées à 805 fr. 40 en avril 2015, à 2'214 fr. 50 en mai 2015, à 981 fr. 60 en juin 2015, à 1'249 fr. 30 en juillet 2015 et à 1'754 fr. 30 en août 2015, à savoir un montant de 1'401 fr. en moyenne.
En examinant les fiches de salaire pour les mois d'avril à août 2015, la Juge déléguée a cependant constaté que les commissions perçues en réalité durant cette période s'élevaient en moyenne à 3'734 fr. par mois (1'873 fr. 95 en avril 2015, 3'724 fr. 30 en mai 2015, 5'998 fr. 25 en juin 2015, 4'097 fr. 30 en juillet 2015 et 2'976 fr. 20 en août 2015, indemnité forfaitaire de 1'000 fr. pour les frais professionnels incluse). A ces revenus s'ajoutaient les 2'322 fr. 20 perçus mensuellement à titre de rente LPP, en raison de la retraite anticipée de l'intéressé. En définitive, l'époux réalisait des revenus globaux de 6'056 fr. 20depuis le 1er avril 2015 (3'734 fr. [salaire] + 2'322 fr. 20 [rente LPP]). Or, selon ses propres allégations, lors du prononcé de la pension actuellement due à son épouse, à savoir en 2012, il touchait un revenu de l'ordre de 6'000 fr. Selon la cour cantonale, il n'y avait dès lors pas de modification essentielle et durable des circonstances au sens de l'<ref-law>.
Certes, l'allégation de son employeur, selon laquelle l'époux ne devrait plus percevoir à l'avenir de commissions relevant de son ancien statut, pourrait tendre à rendre vraisemblable qu'il ne serait pas en mesure de réaliser, à l'avenir, un revenu équivalent à celui qu'il perçoit actuellement. Toutefois, la Juge déléguée a relevé que, de l'aveu même de l'intéressé, le système de rémunération auquel il est soumis est particulièrement complexe et dépend de multiples facteurs. Il n'y avait donc pas lieu de se livrer, au stade des mesures provisionnelles, à des projections incertaines et potentiellement hasardeuses à ce sujet, l'époux pouvant toujours, le cas échéant, agir en modification des mesures provisionnelles en temps voulu.
5.
Le recourant fait valoir les griefs d'arbitraire (art. 9 Cst.) dans l'établissement des faits et l'appréciation des preuves ainsi que dans l'application du droit, en tant que la juridiction cantonale a considéré que sa nouvelle situation financière ne constituait pas un fait nouveau au sens de l'<ref-law>.
5.1. Selon lui, la cour cantonale aurait dû se fonder sur l'attestation établie par son employeur (pièce 1504), qui est parfaitement claire et explique la modification de son statut, précisant aussi le montant des revenus réalisés entre avril et août 2015 (805 fr. 40 en avril 2015, 2'214 fr. 50 en mai 2015, 981 fr. 60 en juin 2015, 1'249 fr. 30 en juillet 2015 et 1'754 fr. 30 en août 2015). Il explique que ces montants correspondent strictement aux pièces 17 et 1502, et précise que le paiement des commissions intervient toujours le mois suivant celui où elles ont été réalisées. Il faudrait ajouter à ces montants 1'000 fr. par mois d'indemnité pour frais professionnels et 2'322 fr. 20 de rente LPP, dont à déduire 442 fr. par mois de frais professionnels, de sorte que ses revenus mensuels nets s'élèveraient à 4'281 fr. 20 en moyenne. Selon lui, en lui imputant des revenus réalisés sous son ancien statut, la cour cantonale aurait en quelque sorte tenu compte deux fois des mêmes montants. En effet, le versement de ces commissions aurait normalement dû intervenir durant les premiers mois de l'année, lorsqu'il devait encore verser 2'000 fr. par mois à son épouse. Alors que son revenu mensuel net devait en principe être de l'ordre de 6'000 fr. jusqu'au 31 mars 2015, il n'a perçu que 5'031 fr. 65 en janvier, 5'037 fr. 75 en février et 5'037 fr. 75 en mars, ceci essentiellement grâce à des avances, tout en accumulant une dette auprès de son employeur de 4'486 fr. 50, montant qui aurait été prélevé sur son salaire d'avril (pièce 1505). Enfin, le recourant explique qu'à tout le moins, la juridiction d'appel aurait dû tenir compte des frais professionnels de 442 fr. par mois qu'elle a pourtant constatés, et les déduire de son salaire, ce qui, même en prenant pour base les montants - contestés - des commissions qu'elle a retenus, aboutirait à un revenu mensuel net de 5'614 fr. 20 (6'056 fr. 20 - 442 fr.).
5.2. Le recourant ne peut être suivi dans son argumentation. D'une part, en tant que la cour cantonale a pris en considération ses revenus au moment où il les a perçus (montant " net à payer " figurant sur les bulletins de salaire), plutôt qu'au moment où les commissions ont été " réalisées ", son raisonnement ne saurait être qualifié d'arbitraire. D'autre part, en tant que le recourant expose que sa situation financière a changé de manière essentielle et durable, il faut souligner ce qui suit.
La cour cantonale n'a pas examiné le montant des revenus que réalisait le recourant en 2012, se contentant de se référer à son allégation selon laquelle ceux-ci s'élevaient à environ 6'000 fr. Or, à ce sujet, il ressort des pièces du dossier que pour démontrer qu'en 2012, ses revenus mensuels nets étaient alors de l'ordre de 6'000 fr. (allégué n° 4 de la requête), il s'est référé à la pièce n° 3, à savoir ses bulletins de salaire pour les mois de janvier, février et mars 2012. A teneur de ces documents, le " total des prestations " était de 6'150 fr. en janvier, 6'150 fr. en février et 6'579 fr. 30 en mars 2012. Une fois déduites les charges sociales, le montant " net à payer " - à savoir le montant réellement perçu par le recourant - s'élevait à 5'191 fr. 95 en janvier, 5'198 fr. 05 en février et 5'594 fr. 15 en mars 2012 (dont un montant de 1'200 fr. pour les frais), c'est-à-dire un montant moyen arrondi de 5'328 fr. A cette période, le recourant ne percevait pas encore de rente LPP, de sorte qu'il ne pouvait compter que sur ce seul revenu.
Entre avril et août 2015, les bulletins de salaire auxquels s'est référée la juridiction d'appel démontrent qu'une fois déduites les charges sociales, le montant " net à payer " (soit la même rubrique que ci-dessus) s'est élevé à 1'873 fr. 95 en avril 2015, 3'724 fr. 30 en mai 2015, 5'998 fr. 25 en juin 2015, 4'097 fr. 30 en juillet 2015 et 2'976 fr. 20 en août 2015, à savoir une moyenne de 3'734 fr. (dont un montant de 1'000 fr. pour les frais). Ainsi, les revenus qu'il a tirés de son activité lucrative ont baissé. Cependant, si l'on y ajoute la rente LPP de 2'322 fr. 20, ses revenus mensuels nets globaux s'élèvent à plus de 6'000 fr., de sorte qu'il n'était pas arbitraire de retenir que le recourant n'a, en l'état, pas vu sa situation financière se péjorer. Concernant les frais professionnels de 442 fr. que le recourant demande de retrancher au montant de ses revenus, on ne discerne pas pour quel motif il faudrait les retrancher seulement des revenus perçus en 2015, et non pas de ceux perçus en 2012. Cela étant, quand bien même on le suivrait dans son argumentation, ses revenus s'élèveraient à 5'634 fr. 20 (à savoir 3'734 fr. + 2'322 fr. 20 - 442 fr.), de sorte qu'il n'en résulterait toujours pas une péjoration de sa situation par rapport à 2012 (5'328 fr., cf. paragraphe précédent).
Vu ce qui précède, il n'est pas insoutenable de retenir qu'en l'état, l'évolution de la situation financière du recourant ne constitue pas un fait nouveau au sens de l'<ref-law> (cf. supra consid. 2.1 et 2.2).
6.
Le recourant fait grief à la Juge déléguée d'avoir omis d'examiner si d'autres modifications notables étaient intervenues, notamment dans la situation de l'intimée, alors que de telles modifications ressortaient pourtant manifestement du dossier, de l'ordonnance de première instance et des considérants de l'arrêt entrepris. Ainsi, elle aurait appliqué l'<ref-law> de manière insoutenable (art. 9 Cst.).
6.1. Selon le recourant, qui renvoie en outre à diverses pièces du dossier, il ressortirait clairement de l'arrêt entrepris que l'intimée travaille régulièrement en qualité de femme de ménage pour un revenu mensuel de 300 fr. depuis le mois de mai 2014, soit bien après la signature de la convention de 2012. Depuis 2013, elle perçoit une indemnité de 100 fr. par mois pour son activité de curatrice. Il faudrait encore ajouter à ses revenus le montant de 1'170 fr. " que lui verse chaque mois son fils ", et qui correspond à l'allocation pour impotent octroyée par décision de l'Office AI du 5 novembre 2012. Aux dires de l'époux, il ne ferait aucun doute que l'intimée tire un bénéfice personnel de l'entier de cette allocation en l'utilisant exclusivement pour ses propres dépenses. Ainsi, depuis la signature de la convention de 2012, les revenus mensuels de l'intimée seraient passés de 0 fr. à 1'570 fr. par mois, ce qui constituerait une circonstance nouvelle au sens de l'<ref-law>. A cela s'ajouterait qu'à juste titre, le premier juge avait considéré qu'un revenu hypothétique de 2'669 fr. 60 pouvait être imputé à l'intimée. En s'écartant de cette appréciation sans la moindre justification, l'arrêt entrepris serait entaché d'un défaut de motivation. S'agissant des motifs justifiant d'imputer un revenu hypothétique à l'intimée, le recourant se réfère entièrement aux considérants de l'ordonnance de première instance ainsi qu'au mémoire-réponse qu'il a déposé dans le cadre de la procédure d'appel. Enfin, il affirme que les charges de l'intimée ont baissé: le fils des parties verserait chaque mois une partie de ses revenus (1'550 fr.) sur un compte commun, l'intimée versant pour sa part 1'000 fr. sur ledit compte, tous deux formant désormais une communauté domestique. Par conséquent, il se justifiait de partager leur loyer par deux et de retenir, à titre de minimum vital de l'intimée, la moitié du montant habituellement retenu pour deux adultes faisant ménage commun. Vu ce qui précède, la Juge déléguée devait retenir, sauf à faire preuve d'arbitraire, que la réduction des charges de l'intimée constituait une modification essentielle des circonstances ayant un impact direct sur la contribution d'entretien.
6.2. Pour autant qu'en évoquant un " défaut de motivation ", le recourant entende soulever la violation de son droit d'être entendu, on relèvera que pour répondre aux exigences de motivation, il suffit que le juge mentionne, au moins brièvement, les motifs qui l'ont guidé et sur lesquels il a fondé sa décision, de manière à ce que l'intéressé puisse se rendre compte de la portée de celle-ci et l'attaquer en connaissance de cause (<ref-ruling> consid. 4.1 p. 88). En l'occurrence, les motifs ayant guidé la Juge déléguée sont suffisamment explicites pour que le recourant soit en mesure de les attaquer, ce qu'il a d'ailleurs fait dans son argumentation fondée sur l'arbitraire (cf. à ce propos infra consid. 6.3). En effet, la Juge déléguée a considéré que le seul motif invoqué par le recourant, dans sa requête du 20 mars 2015, était une prétendue modification de sa propre situation financière; le premier juge était entré en matière sur ladite requête, considérant, à tort selon la Juge déléguée, que la situation financière du recourant constituait une circonstance nouvelle au sens de l'<ref-law>. Autant qu'il soit suffisamment motivé (cf. supra consid. 2.1), le grief de violation du droit d'être entendu doit ainsi être rejeté.
6.3. Il reste à examiner si, en ne tenant pas compte de l'évolution de la situation financière de l'épouse comme circonstance nouvelle, la cour cantonale aurait fait preuve d'arbitraire. A ce sujet, en tant que le recourant renvoie au contenu du jugement de première instance et à son mémoire d'appel, il faut rappeler que la motivation d'un recours doit être complète, et qu'il n'est pas admissible de se contenter d'un tel renvoi (<ref-ruling> consid. 3.2 p. 399 s.). Pour le surplus, son argumentation relative à la situation financière de l'intimée se fonde largement sur des faits qui ne ressortent pas de l'arrêt entrepris, sans qu'il ne se plaigne du caractère arbitraire de ces omissions (cf. supra consid. 2.2). Ainsi, s'il a effectivement été relevé par la Juge déléguée que l'épouse perçoit chaque mois 300 fr. pour son travail de femme de ménage et 100 fr. pour son activité de curatrice, l'arrêt entrepris ne précise pas depuis quand tel est le cas; on ignore en particulier si ces éléments sont ou non postérieurs à l'ordonnance de mesures protectrices de l'union conjugale. On peut quoi qu'il en soit douter qu'en l'espèce, refuser de qualifier de si faibles montants de " faits nouveaux " au sens de l'<ref-law> puisse être qualifié d'arbitraire. Quant aux 1'170 fr. correspondant à l'allocation pour impotent de D._, il ne ressort pas des faits de l'arrêt querellé que l'intimée en bénéficierait pour ses besoins personnels, ce que le recourant se contente d'affirmer, sans que cela ne ressorte du dossier ni qu'il ne soulève à ce sujet un grief d'omission arbitraire des faits. Il en va de même des prétendus 1'550 fr. par mois que le fils des parties verserait sur un compte commun. En définitive, la critique du recourant n'est pas de nature à démontrer qu'en niant un changement de circonstances notable et durable dans la situation financière de l'épouse, la juridiction précédente aurait appliqué l'<ref-law> de manière insoutenable, à tout le moins dans son résultat.
7.
Vu ce qui précède, il n'y a pas lieu de se pencher sur le nouveau calcul de la contribution d'entretien proposé par le recourant.
8.
Le recours doit être rejeté, dans la mesure de sa recevabilité. Comme les conclusions du recourant étaient d'emblée vouées à l'échec, sa requête d'assistance judiciaire est rejetée (<ref-law>) et les frais judiciaires sont mis à sa charge (<ref-law>). Il n'est pas alloué de dépens à l'intimée, qui n'a pas été invité à se déterminer (<ref-law>).

rulings:
Par ces motifs, le Tribunal fédéral prononce :
1.
Le recours est rejeté dans la mesure où il est recevable.
2.
La requête d'assistance judiciaire du recourant est rejetée.
3.
Les frais judiciaires, arrêtés à 2'000 fr., sont mis à la charge du recourant.
4.
Le présent arrêt est communiqué aux parties et à la Juge déléguée de la Cour d'appel civile du Tribunal cantonal du canton de Vaud.
Lausanne, le 4 mars 2016
Au nom de la IIe Cour de droit civil
du Tribunal fédéral suisse
Le Président : von Werdt
La Greffière : Bonvin