OpenLLM-France/wikimedia huggingface dataset:
# Chaussee von Wesel nach Meinerzhagen

Die Chaussee von Wesel nach Meinerzhagen war eine Verbindung des Steinkohlereviers im Ruhrgebiet mit den Erzlagerstätten im Sauerland und Siegerland. Sie gehörte zu den ersten Fernstraßen in Preußen. Die Straße war teilweise gepflastert, deshalb wurde ursprünglich ein Wegegeld erhoben.

## Wesel – Steele

Im Herzogtum Kleve befand sich die Straße auf preußischem Territorium und begann am Rhein-Lippe-Hafen Wesel.
Durch Verhandlungen mit Fürstäbtissin Maria Kunegunde vom Reichsstift Essen wurde erreicht, dass die Strecke über Oberhausen, Borbeck, Essen und Steele weitergeführt werden konnte.

## Steele – Bochum

Der Abschnitt von Steele nach Bochum wurde vom Freiherrn vom Stein 1787 festgelegt und 1794 fertiggestellt. Sie führt von Essen über Steele, Sevinghausen, Höntrop, Stahlhausen bis Bochum-Mitte.
In Steele führt sie durch den Ortskern. Steele war eine eigenständige Stadt und ist heute ein Mittelzentrum in der Stadt Essen. Der Abschnitt der Bochumer Straße zwischen Grendplatz und Grenoblestraße enthält noch historische Architektur des ansonsten stark umgebauten Stadtteils (Flächensanierung statt Objektsanierung). In Essen heißt der nach Osten folgende Abschnitt Bochumer Landstraße.
An der Grenze zwischen Essen und Wattenscheid ragt eine Stele mit der Inschrift „PW | PR“ aus dem Boden. Sie markiert die neue Grenze zwischen der Provinz Westfalen und dem Rheinland, nachdem Königssteele am 1. April 1926 zu Steele eingemeindet worden war.
In Bochum heißt die Straße Wattenscheider Hellweg, Essener Straße und Alleestraße. Sie folgt in Teilen dem Hellweg als Höhenweg über die Wasserscheide zwischen Ruhr und Emscher und hat einen guten Fernblick. Sie umgeht das nördlich der Straße gelegene Wattenscheid, wo Ahbach, die Radbecke und der Leithebach für einen eher morastigen Untergrund gesorgt hätten. Sie führt hier unter anderem im Ortsteil Stalleicken von Sevinghausen an der Pilgerkapelle St. Bartholomäus und dem Heimatmuseum Helfs Hof vorbei. Vor Höntrop kreuzt sie die Landstraße 651. In Stahlhausen passiert sie das Thyssen-Krupp-Haus und das Gelände des Bochumer Vereins mit dem Westpark und der Jahrhunderthalle.

## Bochum – Crengeldanz

Bereits 1789 wurde die Chaussee von Bochum nach Witten-Crengeldanz fertiggestellt.

## Crengeldanz – Meinerzhagen

Der weitere Verlauf führte über Herdecke, Hagen, Breckerfeld bis nach Meinerzhagen.
# Eugène Dupuis

Eugène Dupuis (* 23. September 1919 in Busnes, Nord-Pas-de-Calais, Frankreich; † 6. Oktober 2017 in Lestrem) war ein französischer Radrennfahrer.
Er war Profi von 1943 bis 1952, mit Unterbrechung in den Jahren 1944 und 1945. „Sein“ Rennen war der Grand Prix d’Isbergues, den er 1947 (vor Alphonse De Vreese und Louis Déprez) und 1948 gewinnen konnte, was ihn zum Rekordsieger (gemeinsam mit Joop Zoetemelk, Peter Van Petegem und Cédric Vasseur) machte. 1949 entschied er noch den Grand Prix de Fourmies für sich. 1951 belegte er beim Grand Prix d’Isbergues noch einmal den dritten Platz.
# Evangelisch-Lutherische Gebetsgemeinschaften

Die Evangelisch-Lutherischen Gebetsgemeinschaften e. V. sind Teil der Gemeinschaftsbewegung innerhalb der evangelischen Kirchen Deutschlands. Sie wollen durch Gemeinschaftspflege und Evangelisation Menschen im christlichen Glauben stärken bzw. für diesen gewinnen.

## Wurzeln

Die Evangelisch-Lutherischen Gebetsgemeinschaften haben ihre Wurzeln in den durch Christoph Kukat in Ostpreußen, vor allem in Masuren, Ende des 19. Jahrhunderts geprägten und organisierten Evangelischen Gebetsgemeinschaften. Sie nahmen auch Anregungen aus der sich zu jener Zeit bildenden neupietistischen Gemeinschaftsbewegung auf. Nach Westfalen ausgewanderte Ostpreußen bildeten dort ebenfalls Gebetsvereine.

## Geschichte

Im Dezember 1910 forderte Christoph Kukat in einem Hirtenwort die Abschaffung der Chorarbeit in den Evangelischen Gebetsvereinen. Er sah sie als hinderlich für eine künftige Vereinsarbeit an und wollte einer von ihm diagnostizierten Verweltlichung der Vereine einen Riegel vorschieben. Besonders in den Gemeinschaften im rheinisch-westfälischen Industriegebiet war die Arbeit mit Posaunen- und Vokalchören ein wichtiger Teil ihrer Gemeinschafts- und Jugendarbeit geworden. Sie und Gemeinschaften in Ostpreußen wollten auf diese Arbeitszweige nicht verzichten und mussten sich so vom Ostpreußisch evangel. Gebets=Verein trennen. Sie gründeten im September 1911 einen eigenen Verband mit dem Namen Evangelisch-Lutherischer Gebetsverein, innerhalb der Landeskirche. Mit erwecklich gesinnten Pfarrern arbeitete man zusammen. Prediger des Evangelisch-Lutherischen Gebetsvereins wurden von der westfälischen Landeskirche als Gemeindehelfer zur Betreuung ihrer masurischen Gemeindeglieder berufen.
Nach der Eingliederung eines Teiles von Ostpreußen in Polen wurde die Gemeinschaftsarbeit dort weitergeführt und ausgeweitet.
Während der nationalsozialistischen Herrschaft schloss man sich nicht den Deutschen Christen an, sondern pflegte geschwisterliche Zusammenarbeit mit der Bekennenden Kirche. Durch den Zweiten Weltkrieg und dessen Folgen gingen die Gemeinschaften des Verbandes in den ehemaligen Gebieten des Deutschen Reiches und in Polen unter.

## Heutige Arbeit

Der heutige Arbeitsschwerpunkt der Evangelisch-Lutherischen Gebetsgemeinschaften liegt in Nordrhein-Westfalen und wird von rund 35 Gemeinden getragen. Im Jahr 1961 erwarb der Gebetsverein ein Gelände am Edersee in Vöhl und errichtete dort ein Altenheim, dem 1982 der Bau eines Freizeitheimes folgte. 1969 wurde der „Missionsverlag der Evangelisch-Lutherischen Gebetsgemeinschaften“ gegründet, der neben den eigenen Publikationen auch Erbauungsliteratur der „pietistischen Väter“ veröffentlichte, so Johann Arndts Wahres Christentum. Zum Jahresende 2023 wurde der Missionsverlag laut Beschluss der Mitgliederversammlung aufgelöst.
Zu den Besonderheiten gehören das kniende Gebet und die Ausrichtung der Verkündigung an den lutherischen Bekenntnissen, unter denen der Kleine Katechismus von Martin Luther eine herausragende Stellung einnimmt.
# Baureihe 110

Die Baureihe 110 bezeichnet:
* die Elektrolokomotive DB-Baureihe 110 der Deutschen Bundesbahn und der Deutschen Bahn AG, ehemalige DB-Baureihe E 10 der Deutschen Bundesbahn
* die Diesellokomotive DR-Baureihe 110 der Deutschen Reichsbahn, ehemalige DR-Baureihe V 100 der Deutschen Reichsbahn, spätere Baureihe 201 der Deutschen Bahn AG
# Middle Kids

Middle Kids ist eine australische Indie-Rock-Band aus Sydney. Sie besteht aus der Lead-Sängerin und Gitarristin Hannah Joy, dem Bassisten Tim Fitz und dem Schlagzeuger Harry Day. Das Trio hat bisher eine EP und ein Album mit dem Titel Lost Friends veröffentlicht. Die Band hat sich einen Namen als Vorband von Ryan Adams, Cold War Kids und in erster Linie Bloc Party gemacht, die sie jeweils auf deren Tour begleiteten; anschließend gingen sie selbst auf Tour.

## Diskografie
### Alben

| Jahr | Titel | Höchstplatzierung, Gesamtwochen, AuszeichnungChartsChartplatzierungen (Jahr, Titel, Plat­zie­rungen, Wo­chen, Aus­zeich­nungen, Anmer­kungen) | Anmerkungen |
| Jahr | Titel | AU | Anmerkungen |
| 2017 | Middle Kids | AU26 (1 Wo.)AU | EP |
| 2018 | Lost Friends | AU10 (1 Wo.)AU | |
| 2019 | New Songs for Old Problems | AU44 (1 Wo.)AU | |
| 2021 | Today We’re the Greatest | AU5 (1 Wo.)AU | |
| 2024 | Faith Crisis Pt I | AU20 (… Wo.)Template:Charttabelle/Wartung/vorläufig/2024AU | |

### Singles

* 2018: Edge of Town (AU: Platin)
* 2018: Never Start (AU: Gold)
* 2018: Mistake (AU: Gold)
# Antoniusmühle

Antoniusmühle ist der Name folgender Höfe, Mühlen und Orte:
* Antoniusmühle (Freudenberg), Wohnplatz bei Wessental, Stadt Freudenberg, Main-Tauber-Kreis, Baden-Württemberg
* Antoniusmühle (Mühlhausen), Baudenkmal in Mühlhausen/Thüringen, Unstrut-Hainich-Kreis, Thüringen
* Karte mit allen verlinkten Seiten:
* OSM |
* WikiMap
# Couffé

Couffé ist eine französische Gemeinde im Département Loire-Atlantique mit 2.535 Einwohnern (Stand: 1. Januar 2021) in der Region Pays de la Loire. Sie ist dem Kanton Ancenis-Saint-Géréon (bis 2015: Kanton Ligné) und dem Arrondissement Châteaubriant-Ancenis zugeteilt. Die Einwohner werden Coufféens und Coufféennes genannt.

## Geografie

Couffé liegt im nördlichen Loiretal etwa 35 Kilometer östlich von Nantes am Hâvre, einem Nebenfluss der Loire. Die Gemeinde liegt im Weinbaugebiet Coteaux d’Ancenis. Umgeben wird Couffé von den Nachbargemeinden Mouzeil im Norden und Nordwesten, Mésanger im Osten und Nordosten, Ancenis-Saint-Géréon im Südosten, Oudon im Süden, Le Cellier im Südwesten sowie Ligné im Westen.
Durch die Gemeinde führt die Autoroute A11.

## Bevölkerungsentwicklung

| Jahr | 1962 | 1968 | 1975 | 1982 | 1990 | 1999 | 2006 | 2017 |
| Einwohner | 1267 | 1318 | 1262 | 1469 | 1805 | 1790 | 2137 | 2563 |
| Quellen: Cassini und INSEE |||||||||

## Sehenswürdigkeiten

* Kirche Saint-Pierre. Die künstlerische Verglasung wurde von der zunächst in Nantes, später in Kassel-Wehlheiden tätigen Glasmaler-Werkstatt Ely geschaffen.
* Kapelle Saint-Symphorien
* Schloss Le Villejégu, Monument historique seit 1984
* Schloss La Contrie
* Brücke von La Gravelle
* Domäne Loge aux Moines
* Sieben historische Mühlen
Siehe auch: Liste der Monuments historiques in Couffé

## Gemeindepartnerschaften

Mit folgenden Gemeinden bestehen Partnerschaften:
* Bogel in Rheinland-Pfalz, Deutschland, seit 1984
* Wellow in England, Vereinigtes Königreich, seit 1991
* Tescani in Rumänien, seit 2000
* Gourkovo in Bulgarien, seit 2003

## Persönlichkeiten

* François Athanase de Charette de la Contrie (1763–1796), Generalissimus, Anführer des Aufstands der Vendée
* Amy Brown (1783–1876), Mätresse des Herzogs von Berry
* Athanase de Charette de La Contrie (1823–1911), Brigadegeneral
# Cäcilie Arand

Cäcilie Arand, geb. Schuhmacher (* 2. Februar 1838 in Winterstettenstadt bei Biberach an der Riß; † 25. Februar 1908 in Waldsee, Württemberg) war eine deutsche Schriftstellerin.

## Leben

Cäcilie Schuhmacher wurde als Tochter eines Landwirts und Eisenhändlers geboren. Sie wuchs in Oberschwaben auf und ging später nach Lausanne, um die französische Sprache zu erlernen. 1864 heiratete sie den Arzt Hermann Ferdinand Arand in Waldsee. Erst recht spät fing sie an, schriftstellerisch zu arbeiten. Ihr Werk besteht hauptsächlich aus Erzählungen für die Jugend, die oft religiöse Themen behandeln. Sie wurden vor allem in katholisch geprägten Zeitschriften veröffentlicht. Größere Verbreitung fand ihr Erzählungsband Immergrün.

## Werk

* Immergrün. Erzählungen für Mädchen von 12 bis 16 Jahren, Ravensburg 1896, 3. Auflage Graz 1914
Zahlreiche Erzählungen in der Reihe Nimm und lies!, Eberle & Rickenbach, Einsiedeln 1893ff., darunter:
* Das Kloster Mariazell
* Der Mohrenphilipp
* Der silberne Rosenkranz
* Ein Maienkind. Am Scheidewege
* Kindergeschichten für unsere Knaben und Mädchen erzählt
* Klaras Testament
* Mariannes Lebenslauf
* Serie II, Bd. 13: Treulos!
* Serie II, Bd. 19/20: Im Schutzmantel Marias
* Serie II, Bd. 23: Die Frau Hofwäscherin. Im Banne der allerseligsten Jungfrau
* Serie II, Bd. 35: Setze deine Hoffnung allein auf Gott den Herrn
* Serie II, Bd. 47: Zwei Schwestern. Maria saß alleine / Unschuldig
* Serie II, Bd. 48: Füge Dich! Die Zwillingsbrüder, oder: Die armen Seelen sind dankbar
* Serie II, Bd. 52: Die Visitation. Der Engel des Herrn brachte Maria die Botschaft
* Serie II, Bd. 58: Erzwungen
* Serie II, Bd. 73: Ecce Homo
* Serie II, Bd. 83: Der Himmel auf dieser Erde. Im Hafen gelandet / O Heiland, reiss den Himmel auf / Die Macht des Gebetsapostolates
* Serie II, Bd. 84: Das Opfer eines Lebens
* Serie II, Bd. 85: Beispiel bricht Balken / Sein sichtbarer Engel
* Serie II, Bd. 86: Verkehrte Erziehung, S. 17–30
* Serie II, Bd. 87: Doktor Kamors
* Serie II, Bd. 88: Alle Schuld rächt sich
* Serie II, Bd. 91/92: Im Banne der Muttergottes, S. 89–128
* Serie II, Bd. 96/97: In der Schlenkermühle. Standhaftigkeit im Glauben
* Serie II, Bd. 99: Verschiedene Wege / Ein Opfer schwesterlicher Liebe
* Serie II, Bd. 124: Josephas Erlebnisse
* Serie II, Bd. 125/126: Eisblumen. Für Volk und reifere Jugend, Erzählungen
* Serie II, Bd. 138: Allerseelenbilder
* Serie II, Bd. 139: Im Namen Jesu!
# Ben & Co – Beste Freunde

Ben & Co – Beste Freunde oder Die Superkumpel (frz. Le Monde de Pahé) ist eine 74-teilige französische Zeichentrickserie, die unter der Leitung von Paul Leluc von Galaxy 7 – Blue Spirit produziert wurde. Die Animation übernahm Be Films. Die Autoren der Zeichentrickserie waren Pahé und Christophe Guignement, die die Drehbücher auf Grundlage der bei Éditions Paquet erschienenen Comicbände verfassten. Sie wurde in Frankreich ab 1. August 2009 auf France 3 und in Deutschland ab 1. Juli 2010 von Disney XD gezeigt.

## Handlung

Ben ist ein Afrikaner und Sebastian ist ein Europäer. Aber wenn es um große Abenteuer geht, ist das egal. Ihre beiden Kulturen vereinigen sich und sie sind eng miteinander befreundet und lassen sich auch von Schwierigkeiten nicht auseinanderbringen.

## Hauptfiguren
### Ben

Ben ist 9 Jahre alt und in Marilou verliebt. Er ist der beste Freund von Sebastian. Er hat eine gelbe Kapuze, eine grüne Hose und braune Haare.

### Sebastian

Sebastian ist ebenfalls neun Jahre alt und ein Europäer. Er ist der beste Freund von Ben. Er hat orange Haare, ein grünes Hemd und blaue Hosen.
# Charles W. Buttz

Charles Wilson Buttz (* 16. November 1837 in Stroudsburg, Monroe County, Pennsylvania; † 20. Juli 1913 in Lisbon, North Dakota) war ein US-amerikanischer Politiker. Zwischen 1876 und 1877 vertrat er den Bundesstaat South Carolina im US-Repräsentantenhaus.

## Werdegang

Im Jahr 1839 kam Charles Buttz mit seinen Eltern nach Buttzville in New Jersey. Dort besuchte er die öffentlichen Schulen. Anschließend studierte er in Belvidere Jura. Dieses Studium wurde durch den Bürgerkrieg unterbrochen, an dem Buttz als Oberleutnant in der Armee der Union teilnahm. Nach einer Verwundung im Jahr 1863 musste er den Militärdienst quittieren. Nach seiner im gleichen Jahr erfolgten Zulassung als Rechtsanwalt begann er in Norfolk in seinem neuen Beruf zu arbeiten.
Buttz war Mitglied der Republikanischen Partei und nahm 1864 als Delegierter an der Republican National Convention teil. Im selben Jahr wurde er einer der Direktoren der Exchange Bank of Virginia; 1866 wurde er Bezirksstaatsanwalt im King William County in Virginia. Im Jahr 1870 zog Charles Buttz nach Charleston in South Carolina. Dort war er von 1872 bis 1880 als Staatsanwalt im ersten Gerichtsbezirk tätig. 1874 kandidierte er erfolglos gegen Edmund William McGregor Mackey für das US-Repräsentantenhaus. Buttz legte Widerspruch gegen das Wahlergebnis ein. Als Resultat erklärte der Kongress am 19. Juli 1876 den umstrittenen Abgeordnetensitz für vakant. Die nun fälligen Nachwahlen konnte Buttz für sich entscheiden. Damit konnte er zwischen dem 7. November 1876 und dem 3. März 1877 die angebrochene Legislaturperiode im Kongress beenden. Bei den regulären Kongresswahlen des Jahres 1876 kandidierte er nicht mehr.
Im Jahr 1878 zog Charles Butzz nach Fargo in North Dakota. In diesem Staat war er 1882 an der Gründung des Ransom County beteiligt. Von 1884 bis 1886 arbeitete Buttz als Staatsanwalt. Zwischen 1903 und 1909 war er Abgeordneter im Repräsentantenhaus von North Dakota. Er starb am 20. Juli 1913 in Lisbon und wurde dort auch beigesetzt.
# Charles W. Dyke

Charles William Dyke (* 28. Juli 1935 in Covington, Newton County, Georgia) ist ein pensionierter Generalleutnant der United States Army. Er war unter anderem Kommandeur der 8. Infanteriedivision und des IX. Korps.
Über die Officer Candidate School (OCS) gelangte Charles Dyke im Jahr 1954 in das Offizierskorps des US-Heeres. Dort wurde er als Leutnant der Infanterie zugeteilt. In der Armee durchlief er anschließend alle Offiziersränge vom Leutnant bis zum Drei-Sterne General.
Im Lauf seiner militärischen Karriere absolvierte er verschiedene Kurse und Schulungen. Dazu gehörten unter anderem die Infantry School, das Command and General Staff College und das United States Army War College. Zudem erhielt er akademische Grade von der University of Southern Mississippi und der George Washington University.
Im Verlauf seiner militärischen Karriere absolvierte er den für Offiziere in den jeweiligen Rangstufen üblichen Dienst in verschiedenen Einheiten und Standorten, darunter auch in Deutschland. Dazu gehörten auch Aufgaben als Stabsoffizier in verschiedenen Hauptquartieren. Er kommandierte Einheiten auf fast allen militärischen Ebenen. Zwischenzeitlich war er auch Dozent an verschiedenen Militärschulen.
Während des Vietnamkriegs war Dyke zunächst Kommandeur eines Bataillons des 327. Infanterieregiments das der 101. Luftlandedivision unterstand. Danach war er Stabsoffizier bei dieser Division. Im weiteren Verlauf seiner Karriere war er sowohl Stabsoffizier beim Chief of Staff of the Army als auch beim Joint Chiefs of Staff. Zudem gehörte er für einige Zeit dem Stab des Heeresministers an. Zwischenzeitlich war er auch Leiter der Stabsabteilung G3 (Operationen) bei USAREUR in Heidelberg und Stabsoffizier beim Supreme Allied Commander Europe.
Seine erste höhere Aufgabe als Truppenkommandeur war das Kommando über die 1. Brigade der 101. Luftlandedivision in Fort Campbell. Anschließend wurde er nach Deutschland versetzt, wo er Stabsoffizier bei der 3. Infanteriedivision war. Zwischen Juni 1983 und Juni 1985 kommandierte Dyke als Nachfolger von Carl E. Vuono die 8. Infanteriedivision, die ihr Hauptquartier in Bad Kreuznach hatte. Nachdem er sein Kommando an Orren R. Whiddon übergeben hatte, wurde Charles Dyke in den Fernen Osten nach Japan versetzt, wo er zwischen dem 1. August 1985 und dem 15. Juli 1988 das IX. Korps kommandierte. Das Korps stellte die Heeresfraktion der kombinierten amerikanischen Streitkräfte in Japan dar. Damit war Charles Dyke faktisch Kommandeur der dortigen amerikanischen Heeresteilstreitkräfte. Danach ging er in den Ruhestand.
Nach seiner Pensionierung arbeitete Charles Dyke für die von ihm gegründete Firma ITTA (International Technology and Trade Associates, Inc.) Außerdem gehörte er dem Vorstand der George C. Marshall Foundation an.

## Orden und Auszeichnungen

Charles Dyke erhielt im Lauf seiner militärischen Laufbahn unter anderem folgende Auszeichnungen:
* Silver Star
* Defense Superior Service Medal
* Legion of Merit
* Bronze Star Medal
* Joint Service Commendation Medal
* Army Commendation Medal
* Air Medal
* Soldier’s Medal
* Purple Heart
# Charles W. Engelhard, Jr.

Charles William Engelhard, Jr. (* 15. Februar 1917 in New Jersey; † 2. März 1971 in Boca Grande) war ein US-amerikanischer Industrieller.
Engelhard war der Sohn von Charles Engelhard und dessen Frau Emilie Maria, geb. Canthal (1877–1973). Nach dem Tode seines Vaters im Jahre 1950 erbte Charles Engelhard, Jr. das Familienunternehmen Engelhard Industries Inc. Engelhard vergrößerte das geerbte Vermögen durch den Handel mit Gold. Er investierte große Beträge in Südafrika und spendete auch für öffentliche Einrichtungen, beispielsweise für die Errichtung des nach ihm benannten Engelhard Dam im Kruger-Nationalpark.
Engelhard spielte nicht nur als Besitzer des legendären Hengstes Nijinsky II eine bedeutende Rolle im Galopprennsport; seine Pferde errangen in den USA insgesamt 213 Siege.
Engelhard war seit 1947 mit Mary Jane Reiss (1917–2004), einer in China geborenen US-amerikanischen Textilerbin, verheiratet, die aus ihrer ersten Ehe mit Fritz Mannheimer eine 1939 geborene Tochter mitbrachte. Mit ihr hatte er vier weitere Töchter.
Engelhard war 1950 mit einem Vermögen von 20 Millionen US-Dollar gestartet. Als er 1971 im Alter von gerade einmal 54 Jahren an einem Herzinfarkt starb, hinterließ er seiner Frau und seinen Kindern das zwölffache: Insgesamt 250 Millionen US-Dollar.
Engelhard wurde als Vorlage für die Roman- und Filmfigur Auric Goldfinger genannt.
# Armin Jüngling

Armin Jüngling (* 5. April 1909 in Kiel; † 1. November 1984) war ein deutscher Dichterarzt.

## Leben

Armin Jüngling wuchs in Oberbayern auf, studierte Medizin in München, war 30 Jahre in Württemberg als praktischer Arzt in eigener Praxis tätig und wohnte und arbeitete danach als Schriftsteller und Journalist in Unterwössing (Chiemgau). Ab 1971 veröffentlichte er sieben Anthologien zur Lyrik deutscher Ärzte, eine Sammlung von Prosatexten sowie den Almanach deutschsprachiger Schriftstellerärzte, das als sein „Lebenswerk und Vermächtnis“ gilt.
Jüngling besaß eine große Sammlung alter Devotional-Bilder, über die er schrieb und zahlreiche Arbeiten über bayerische Volkskunst verfasste wie Das Bundwerk am Bauernhaus im Chiemgau, erschienen 1978. Bekannt war auch sein Buch (zusammen mit Klaus Müller-Brunke, Wilhelm Leibl – Bilderreise durch ein Leben, München 1986). Sein Buch Die Strohpuppe enthielt Kurzgeschichten allein aus seiner Feder, ebenso wie sein Lyrikband Das Nachtklavier. Weitere Lyrikbände von Jüngling sind Landschaftsimpressionen und Fuß ab für Napoleon. Ein Werk über den mit Jüngling befreundeten Chiemgaumaler Theodor von Hötzendorff stand vor dem Abschluss, als Jüngling starb.
# Curry-Howard-Isomorphismus

Als Curry-Howard-Isomorphismus (auch Curry-Howard-Korrespondenz) bezeichnet man die Interpretation von Typen als logische Aussagen und von Termen eines bestimmten Typs als Beweise der zum Typ gehörenden Aussage; und umgekehrt. Benannt ist er nach den Mathematikern Haskell Brooks Curry und William Alvin Howard.

## Halb-formale Beschreibung

Der Begriff der Wahrheit wird ausgetauscht mit dem Begriff der Beweisbarkeit, folgt also dem intuitionistischen Verständnis von Mathematik. Eine Aussage ist beweisbar, wenn es einen Term gibt, der den zur Aussage passenden Typ hat.

### Einfache Junktoren

Ein Beweis für eine Konjunktion $A\land B$ ist ein Paar von Beweisen, $(p,q):A\times B$ für sowohl $A$ als auch $B$.
Ein Beweis für eine Disjunktion $A\lor B$ ist ein Term aus der disjunkten Vereinigung von $A$ und $B$, $A+B$.
Beweise für Implikationen $A\to B$ sind totale Funktionen des Typs $A\to B$.
Die logische Negation $\lnot A$ wird üblicherweise als Abkürzung für $A\to \bot$ definiert, wobei $\bot$ unter dem Curry-Howard-Isomorphismus dem leeren Typ entspricht.

### Quantoren

Eine universell quantifizierte Aussage $\forall {a\in A}:{X(a)}$ wird zu einer Funktion, bei der der Typ des Funktionswertes vom Wert des Funktionsarguments abhängig ist. Hier trifft man also auf dependent types.
Der Beweis einer existenziell quantifizierten Aussage $\exists {a\in A}:{X(a)}$ muss zwei Dinge liefern: ein $A$-Element $a$, und einen Beweis für $X(a)$.

## Beweisbeispiel

Der Satz vom ausgeschlossenen Dritten gilt in konstruktiven Logikkalkülen normalerweise nicht (würde er gelten, wäre jede Aussage entscheidbar, was entweder Ausdrucksschwäche oder Inkonsistenz nach sich zieht). Eine Version mit doppelter Negation unterhalb der Allquantisierung über Aussagen lässt sich jedoch durch Angabe eines Beweisterms belegen. Gesucht ist, für beliebige Aussagen $A$, ein Beweis für
    $\lnot \lnot (A\lor \lnot A)$,
was unter Curry-Howard und mit Auflösung der Negationsabkürzung ein Term des Typs
    $((A+(A\to \bot ))\to \bot )\to \bot$
wird. Der Lambda-Ausdruck
    $\lambda f.f(\kappa _{2}(\lambda a.f(\kappa _{1}a)))$
stellt einen Term des gewünschten Typs dar, wobei $\kappa _{1}\colon A\to (A+(A\to \bot ))$ und $\kappa _{2}\colon (A\to \bot )\to (A+(A\to \bot ))$ die Injektionen in den zweistelligen Summentyp sind.

## Praktische Anwendungen

Verfügbare und benutzbare Beweisassistenten/Programmiersprachen wie Coq, Epigram und Agda machen vom Curry-Howard-Isomorphismus Gebrauch, indem sie es gestatten, Beweise als Programme und Aussagen als Typen anzugeben. Der Typprüfer übernimmt dabei die Aufgabe, die angegebenen Beweise zu verifizieren.

## Quellen

* Simon Thompson: Type Theory and Functional Programming (PDF; 1,3 MB)
* Bengt Nordström, Kent Petersson, Jan M. Smith: Programming in Martin-Löfs Type Theory (PDF; 709 kB)
* Philip Wadler: Propositions as Types (PDF; 261 kB)