title: James Wilson (Politiker, 1825)

text: James Wilson (* 9. April 1825 in Crawfordsville, Indiana; † 8. August 1867 in Caracas, Venezuela) war ein US-amerikanischer Politiker. Zwischen 1857 und 1861 vertrat er den Bundesstaat Indiana im US-Repräsentantenhaus.


title: James Wilson (Politiker, 1825)

text: James Wilson war der Vater von John Lockwood Wilson (1850–1912), der für den Staat Washington in beiden Kammern des Kongresses saß. Er besuchte bis 1842 das Wabash College in Crawfordsville. Nach einem anschließenden Jurastudium und seiner im Jahr 1848 erfolgten Zulassung als Rechtsanwalt begann er in Crawfordsville in diesem Beruf zu arbeiten. In den Jahren 1846 und 1847 nahm er als Soldat am Mexikanisch-Amerikanischen Krieg teil.


title: James Wilson (Politiker, 1825)

text: In den 1850er Jahren wurde Wilson Mitglied der neu gegründeten Republikanischen Partei. Bei den Kongresswahlen des Jahres 1856 wurde er als deren Kandidat im achten Wahlbezirk von Indiana in das US-Repräsentantenhaus in Washington, D.C. gewählt, wo er am 4. März 1857 die Nachfolge von Daniel Mace antrat. Nach einer Wiederwahl konnte er bis zum 3. März 1861 zwei Legislaturperioden im Kongress absolvieren. Diese waren von den Ereignissen im unmittelbaren Vorfeld des Bürgerkrieges geprägt.


title: James Wilson (Politiker, 1825)

text: Während des Bürgerkriegs war er zwischen 1862 und 1865 zunächst Hauptmann und später Brevet-Oberstleutnant im Heer der Union. Im Jahr 1866 wurde James Wilson als Nachfolger von Erastus D. Culver amerikanischer Botschafter in Venezuela. Diesen Posten bekleidete er bis zu seinem Tod am 8. August 1867 in Caracas. Er wurde in seiner Heimatstadt Crawfordsville beigesetzt.


title: Franz Felke

text: Franz Felke (* 8. Januar 1902 in Laufersweiler; † 19. März 1990 in Sohren) war ein deutscher Unternehmer aus dem Hunsrück und Träger der Verdienstmedaille des Verdienstordens der Bundesrepublik Deutschland.


title: Franz Felke

text: Franz Felke wurde als Sohn eines Schreiners in dem Dorf Laufersweiler im Hunsrück geboren. Nach einer Lehre zum Schreinergesellen 1924 in der Schreinerei seines Bruders, dem Unternehmer Michael Felke, nahm er das Studium zum Kunstschreiner an der Kunstgewerbeschule Köln auf, das er 1927 mit dem Meisterdiplom abschloss. Gemeinsam mit dem Bruder Michael baute er ab 1928 in der Gemeinde Sohren einen Möbelproduktionsbetrieb auf.  Franz Felke war verheiratet und hatte zwei Kinder.


title: Franz Felke

text: Franz Felke übernahm in den Felke Möbelwerken die Konzeptionierung der Modelle, zunächst für Schlafzimmer, dann erweitert für Küchen und Wohnzimmer. Außerdem leitete er als Technischer Direktor der Werke die Einrichtung der technischen Anlagen und war somit maßgeblich für den Produktionsablauf verantwortlich. Die monatliche Produktionsrate belief sich bis zu den 1970er Jahren auf rund 15.000 Wohneinheiten.


title: Franz Felke

text: Neben der Leitung aller Werke im technischen Betriebsbereich verbesserte Franz Felke den betrieblichen Unfallschutz und die sozialen Arbeitsbedingungen, insbesondere für Kriegsverletzte und Schwerbeschädigte.


title: Franz Felke

text: 1970 gab er die Stellung des Technischen Direktors an seinen Neffen Günter Felke ab, der neben seinen Brüdern Walter und Aloys Felke ebenfalls in die Geschäftsführung des Unternehmens eingetreten war.


title: Franz Felke

text: Für den Aufbau der Michael Felke Möbelwerke und seine Verdienste in der technischen und sozialen Struktur der Werke erhielt Franz Felke im Juni 1971 die Bundesverdienstmedaille und die goldene Verdienstmedaille der Industrie- und Handelskammer.


title: Abraham J. Hostetler

text: Abraham Jonathan Hostetler (* 22. November 1818 im Washington County, Indiana; † 24. November 1899 bei Bedford, Indiana) war ein US-amerikanischer Politiker. Zwischen 1879 und 1881 vertrat er den Bundesstaat Indiana im US-Repräsentantenhaus.


title: Abraham J. Hostetler

text: Abraham Hostetler besuchte die öffentlichen Schulen seiner Heimat und absolvierte danach eine Lehre als Schmied. Später arbeitete er auch in der Landwirtschaft. Gleichzeitig schlug er als Mitglied der Demokratischen Partei eine politische Laufbahn ein. Zwischen 1854 und 1858 saß er im Senat von Indiana.


title: Abraham J. Hostetler

text: Bei den Kongresswahlen des Jahres 1878 wurde er im achten Wahlbezirk von Indiana in das US-Repräsentantenhaus in Washington, D.C. gewählt, wo er am 4. März 1879 die Nachfolge von Morton C. Hunter antrat. Da er im Jahr 1880 nicht bestätigt wurde, konnte er bis zum 3. März 1881 nur eine Legislaturperiode im Kongress absolvieren. Im Juni 1880 war er Delegierter zur Democratic National Convention in Cincinnati, auf der Winfield Scott Hancock als Präsidentschaftskandidat nominiert wurde.


title: Abraham J. Hostetler

text: Nach seinem Ausscheiden aus dem US-Repräsentantenhaus arbeitete Abraham Hostetler im Handel. Er starb am 24. November 1899 nahe Bedford.


title: Robert B. F. Peirce

text: Robert Bruce Fraser Peirce (* 17. Februar 1843 in Laurel, Franklin County, Indiana; † 5. Dezember 1898 in Indianapolis, Indiana) war ein US-amerikanischer Politiker. Zwischen 1881 und 1883 vertrat er den Bundesstaat Indiana im US-Repräsentantenhaus.


title: Robert B. F. Peirce

text: Robert Peirce besuchte die öffentlichen Schulen seiner Heimat. Zeitweise wurde er aber auch privat unterrichtet. Während des Bürgerkrieges war er Leutnant in einer Freiwilligeneinheit aus Indiana. Später setzte er seine Ausbildung am Wabash College in Crawfordsville fort. Nach einem anschließenden Jurastudium in Shelbyville und seiner im Jahr 1866 erfolgten Zulassung als Rechtsanwalt begann er ab 1867 in Crawfordsville in diesem Beruf zu arbeiten. In den Jahren 1868, 1870 und 1872 wurde er zum Staatsanwalt im Montgomery County gewählt.


title: Robert B. F. Peirce

text: Politisch war Peirce Mitglied der Republikanischen Partei. Bei den Kongresswahlen des Jahres 1880 wurde er im achten Wahlbezirk von Indiana in das US-Repräsentantenhaus in Washington, D.C. gewählt, wo er am 4. März 1881 die Nachfolge von Abraham J. Hostetler antrat. Da er im Jahr 1882 nicht bestätigt wurde, konnte er bis zum 3. März 1883 nur eine Legislaturperiode im Kongress absolvieren. Nach seinem Ausscheiden aus dem US-Repräsentantenhaus praktizierte Peirce wieder als Anwalt. Später war er Konkursverwalter der Eisenbahngesellschaft "Toledo, St. Louis & Western Railway". Robert Peirce starb am 5. Dezember 1898 in Indianapolis und wurde in Crawfordsville beigesetzt.


title: Johannes Repka

text: Johannes Repka (* 1. Juni 1978 in Friedberg) ist ein deutscher Filmkomponist, Gitarrist und Produzent.


title: Johannes Repka

text: Johannes Repka studierte von 1998 bis 2002 Gitarre an der Hochschule für Musik und Darstellende Kunst Mannheim bei Frank Kuruc, von 2002 bis 2004 Arrangement und Komposition bei Jürgen Friedrich ebenfalls in Mannheim, 2004 in Weimar bei Frank Möbus und von 2005 bis 2010 Filmmusik an der Filmhochschule „Konrad Wolf“ in Potsdam-Babelsberg. Das dortige Studium absolvierte er 2010 als Diplom-Filmkomponist.


title: Johannes Repka

text: Im Jahr 2005 erhielt Repka ein künstlerisches Arbeitsstipendium des Berliner Senats für Wissenschaft, Forschung und Kultur.


title: Rodney Frelinghuysen

text: Rodney Procter Frelinghuysen (* 29. April 1946 in New York City) ist ein US-amerikanischer Politiker. Von 1995 bis 2019 vertrat er den Bundesstaat New Jersey im US-Repräsentantenhaus.


title: Rodney Frelinghuysen

text: Rodney Frelinghuysen ist Mitglied einer bekannten Politikerfamilie. Sein Vater Peter Frelinghuysen (1916–2011) war ebenfalls Abgeordneter im Kongress. Zu seinen Vorfahren gehören unter anderem Außenminister und US-Senator Frederick T. Frelinghuysen (1817–1885) sowie US-Senator Theodore Frelinghuysen (1787–1862).


title: Rodney Frelinghuysen

text: Er besuchte bis 1969 das Hobart College in Geneva (New York). Danach studierte er am Trinity College in Hartford (Connecticut). Zwischen 1969 und 1971 diente Frelinghuysen in der US Army. Dabei war er in Vietnam eingesetzt. Im Jahr 1972 war er Koordinator für Bundes- und Staatsunterstützungen im Morris County. Von 1974 bis 1983 gehörte er dem dortigen Kreisrat an, dessen Vorsitzender er im Jahr 1980 war. Danach war er Mitglied der Haushaltsplanungskommission des Staates New Jersey. Politisch schloss sich Frelinghuysen der Republikanischen Partei an. Zwischen 1983 und 1994 saß er als Abgeordneter in der New Jersey General Assembly.


title: Rodney Frelinghuysen

text: Bei den Kongresswahlen des Jahres 1994 wurde Frelinghuysen im elften Wahlbezirk von New Jersey in das US-Repräsentantenhaus in Washington, D.C. gewählt, wo er am 3. Januar 1995 die Nachfolge des zwischenzeitlich verstorbenen Dean Gallo antrat. Da er bei allen folgenden Wahlen, einschließlich der des Jahres 2016, wiedergewählt wurde, konnte er sein Mandat bis zum 3. Januar 2019 ausüben. Anschließend schied er aus dem Repräsentantenhaus aus. Frelinghuysen war Mitglied im Bewilligungsausschuss sowie in drei Unterausschüssen. In seine Zeit als Kongressabgeordneter fielen die Terroranschläge am 11. September 2001, der Irakkrieg und der Militäreinsatz in Afghanistan.


title: Rodney Frelinghuysen

text: Rodney Frelinghuysen ist seit 1980 mit Virginia Robinson verheiratet. Privat lebt die Familie in Harding im Norden New Jerseys.


title: Jacobiweiher

text: Der Jacobiweiher ist ein Teich in der Stadt Frankfurt am Main im Bundesland Hessen. Das mit sechs Hektar Wasserfläche größte Stillgewässer der Stadt liegt im Frankfurter Stadtwald auf dem Gebiet des südmainischen Stadtteils Sachsenhausen. Der Jacobiweiher gehört zum Landschaftsschutzgebiet des Frankfurter Grüngürtels.


title: Jacobiweiher

text: Der Teich wurde in den Jahren 1931 bis 1932 auf Anregung und unter der Leitung des damaligen Frankfurter Forstamtsleiters Hans Bernhard Jacobi als Regenwasser-Rückhaltebecken angelegt. Dies geschah durch Aufstauen des das Gebiet in nordwestlicher Richtung durchfließenden linken Main-Zuflusses Königsbach. Vor der Aufstauung war der Königsbach bei starken Regenfällen häufig über die Ufer getreten und hatte in den an seinem Unterlauf in Sachsenhausen liegenden Wohngebieten Überschwemmungen verursacht. Jacobi zu Ehren wurde der von ihm initiierte Teich nach seinem Tod nach ihm benannt; am Ufer wurde ein Gedenkstein aufgestellt.


title: Jacobiweiher

text: Im Frankfurter Volksmund wird der Jacobiweiher wegen der charakteristischen Form seines Umrisses, die entfernt dem des Schweizer Gewässers ähnelt, sowie wegen der vier angrenzenden Gemarkungen – Sachsenhausen, Niederrad, Oberrad und Neu-Isenburg – auch als „Vierwaldstättersee“ bezeichnet.


title: Jacobiweiher

text: Das Ufer des Jacobiweihers ist rundum von Bäumen gesäumt, hauptsächlich von hohen Ulmen ("Ulmus") und etwa 40 m hohen Buchen ("Fagus"), von denen angenommen wird, dass sie zu den größten Vertretern ihrer Art in Hessen gehören. Dazwischen finden sich andere einheimische Baumarten wie Spitz-Ahorn ("Acer platanoides") und Berg-Ahorn ("Acer pseudoplatanus"). Eine importierte Baumart in der Umgebung des Gewässers ist die Robinie ("Robinia pseudoacacia"). In der Nähe des Weges entlang des Teichufers stehen unter anderem die Gehölze Schlehe ("Prunus spinosa"), Heckenkirsche ("Lonicera xylosteum") und die ebenfalls als "Neophyt" geltende Armenische Brombeere ("Rubus armeniacus"). Zu den weiteren am Jacobiweiher vorkommenden Pflanzen zählen das Gelbe Windröschen ("Anemone ranunculoides", eine Verwandte des Buschwindröschens), das Gewöhnliche Hexenkraut ("Circaea lutetiana") sowie Waldmeister ("Galium odoratum"). Eine auffällige Erscheinung in Ufernähe ist im Frühsommer der Gefleckte Aronstab ("Arum maculatum"), dessen Fruchtstand im reifen Zustand leuchtend rote Beeren auf seinem 15 bis 30 cm hohen Stiel trägt. Seit dem Jahr 2003 gilt das am Jacobiweiher liegende Waldgebiet nach den "FFH-Richtlinien" der EU als Fauna-Flora-Habitat. Der Jacobiweiher ist Heimat oder Futterstelle für mehrere einheimische und eingeführte Vogelarten. Der Teich dient Graureihern ("Ardena cinerea") und Kormoranen ("Phalacrocorax carbo") als Fischgrund. Am und auf dem Wasser leben Blässhuhn ("Fulica atra") und Grünfüßiges Teichhuhn ("Gallinula chloropus") sowie die Stockente ("Anas platyrhynchos"). Ein selten zu beobachtender Bewohner des Ufers ist der Eisvogel ("Alcedo atthis"). Aus Ostasien bereits im 18. Jahrhundert als Ziervogel nach Frankfurt eingeführt wurde die vor Ort brütende Mandarinente ("Aix gariculata"), die durch ihr buntes Gefieder auffällt. In den Bäumen und Gehölzen rund um den Jacobiweiher kommen weitere Vogelarten vor, darunter der Kleiber ("Sitta europaea"), die Hohltaube ("Columba oenas") sowie alle einheimischen Arten von Spechten (Picidae).


title: Jacobiweiher

text: Im Wasser des Teiches lebt eine Population der dort mutmaßlich von privaten Haltern ausgesetzten Rotwangenschildkröte ("Trachemy scripta elegans"), die dort bei schönem Wetter häufig beim Sonnenbaden auf den im Wasser liegenden Baumästen beobachtet werden kann. Zu den im Jacobiweiher vorkommenden Fischen zählen der Stör sowie weitere eingesetzte Arten.


title: Jacobiweiher

text: Am Rundwanderweg entlang des Teichufers befinden sich zwei Kunstwerke aus der Reihe "Komische Kunst im Frankfurter Grüngürtel". Sie wurden vom Frankfurter Zeichner und Autor F. K. Waechter entworfen und nach dessen Tod im Jahr 2005 als Holzskulpturen umgesetzt. Am nördlichen Ufer des Jacobiweihers steht der "Pinkelbaum," an dessen südwestlichem Ufer ist hoch auf einem Baumast sitzend die "Eule im Norwegerpullover" zu finden. Am nordöstlichen Teichufer besteht mit der "Speakers Corner" außerdem die Möglichkeit, von einem Rednerpult aus unter freiem Himmel vor Publikum zu sprechen, für das Sitzbänke aus Holz vorhanden sind. In den Sommermonaten wird dieser Platz für Waldgottesdienste genutzt. Ebenfalls in der Nähe des nordöstlichen Ufers steht der Gedenkstein für Forstamtsleiter Jacobi, der im Jahr 1941, ein Jahr nach dessen Tod gesetzt worden war.


title: Jacobiweiher

text: Entlang des Uferwegs des Jacobiweihers verläuft ein südöstlicher Abschnitt des Frankfurter Grüngürtel-Rundwanderwegs, der den Teich etwa in dessen Mitte auf einer Holzbrücke überquert. In kalten Wintern kann die Eisfläche des zugefrorenen Teichs zum Schlittschuhlaufen benutzt werden. Am nördlichen Rand des Teichs befindet sich eine Gaststätte mit Restaurant und Biergarten.


title: Jacobiweiher

text: Das Ufer des Jacobiweihers kann zu Fuß, auf Reitpferden und mit dem Fahrrad erreicht werden. Die Anfahrt mit anderen Verkehrsmitteln macht einen kurzen Fußweg über befestigte Waldwege erforderlich. Der Zugang mit Öffentlichen Verkehrsmitteln ist mit der Frankfurter Waldbahn, Straßenbahnlinie 17 der Frankfurter Verkehrsgesellschaft VgF, möglich; Haltestelle "Oberschweinstiege". Auch die Buslinie 963 hat mit der Haltestelle "Neu-Isenburg/Straßenbahn" einen Haltepunkt in kurzer Entfernung zum Teich. Für den motorisierten Individualverkehr gibt es wenige Minuten Fußweg entfernt liegende Parkplätze an den Kreuzungen der "Oberschweinstiegschneise" mit der "Isenburger Schneise" und der "Darmstädter Landstraße". Die Parkplätze der in Ufernähe liegenden Gastronomie sind für deren Gäste reserviert und nur während der Öffnungszeiten der Gaststätte zugänglich.


title: Jacobiweiher

text: Einen Kontrast zum Naturerlebnis des Teiches und seiner Umgebung stellt der Umstand dar, dass je nach Windrichtung zwei der Ein- und Abflugschneisen des Flughafens Frankfurt direkt über den Jacobiweiher hinwegführen. Der daraus resultierende Fluglärm kann als Beeinträchtigung empfunden werden. Bei den in der Gegend häufig vorherrschenden Westwinden beträgt die Häufigkeit der in geringen Höhen über den Jacobiweiher einfliegenden Passagier- und Frachtflugzeuge in Spitzenzeiten etwa eine Luftquerung des Geländes im Landeanflug pro Minute.


title: Steve Rothman

text: Steven R. „Steve“ Rothman (* 14. Oktober 1952 in Englewood, New Jersey) ist ein US-amerikanischer Politiker. Von 1997 bis 2013 vertrat er den Bundesstaat New Jersey im US-Repräsentantenhaus.


title: Steve Rothman

text: Steve Rothman besuchte bis 1970 die "Tenafly High School". Danach studierte er bis 1974 an der Syracuse University im Bundesstaat New York. Nach einem anschließenden Jurastudium an der Washington University School of Law in St. Louis und seiner Zulassung als Rechtsanwalt begann er in diesem Beruf zu arbeiten. Gleichzeitig schlug er als Mitglied der Demokratischen Partei eine politische Laufbahn ein. Zwischen 1983 und 1989 amtierte Rothman als Bürgermeister von Englewood. Von 1993 bis 1996 war er als Richter am "Surrogate Court" des Bergen County tätig.


title: Steve Rothman

text: Bei den Kongresswahlen des Jahres 1996 wurde Rothman im neunten Wahlbezirk von New Jersey in das US-Repräsentantenhaus in Washington, D.C. gewählt, wo er am 3. Januar 1997 die Nachfolge des in den Senat gewechselten Robert Torricelli antrat. Er wurde siebenmal wiedergewählt, zuletzt 2010 mit 61 Prozent der Wählerstimmen. Nach dem turnusgemäßen Neuzuschnitt der Wahlkreise im Gefolge des Zensus 2010 trat sein Amts- und Parteikollege Bill Pascrell, der bisher den achten Kongress-Wahlbezirk von New Jersey vertreten hatte, in der Vorwahl der demokratischen Partei für die Kandidatur um den neunten Wahlbezirk gegen den Amtsinhaber Rothman an und besiegte ihn, sodass Rothmans Amtszeit am 3. Januar 2013 endete. Rothman war Mitglied im Bewilligungsausschuss und in zwei von dessen Unterausschüssen.


title: Nyffenegger

text: Nyffenegger ist der Familienname folgender Personen:


title: Eisengraben (Gemeinde Jaidhof)

text: Eisengraben ist eine Ortschaft in der Gemeinde Jaidhof im Bezirk Krems-Land in Niederösterreich. Am hatte Eisengraben  Einwohner.


title: Eisengraben (Gemeinde Jaidhof)

text: Das Dorf liegt nördlich der Kremser Straße, von der die Landesstraße L7054 in den Ort abzweigt.


title: Eisengraben (Gemeinde Jaidhof)

text: Laut "Adressbuch von Österreich" waren im Jahr 1938 in Eisengraben ein Gastwirt, ein Schmied, ein Trafikant und einige Landwirte ansässig. Bis zur Eingemeindung nach Jaidhof war der Ort ein Teil der damaligen Gemeinde Eisengraberamt.


title: Eisengraben (Gemeinde Jaidhof)

text: In der Ortschaft befindet sich die im 18. Jahrhundert errichtete Ortskapelle Hl. Familie. Sie steht unter Denkmalschutz ().


title: Arnold Ott

text: Arnold Ott (* 5. oder 6. Dezember 1840 in Vevey; † 30. September 1910 in Luzern) war ein Schweizer Arzt und Dichter.


title: Arnold Ott

text: Ott arbeitete als Augen- und Ohrenarzt in Neuhausen am Rheinfall, ab 1876 in Luzern. Des Weiteren war er als Lyriker und Dramatiker tätig.


title: Arnold Ott

text: In seiner Schulzeit lebte er bei seinem vermögenden Onkel Georg Heinrich Ott in Schaffhausen. Auf dessen Wunsch hin bereitete sich der 16-jährige Ott im Polytechnikum auf den Beruf eines Architekten vor. Sein Bestreben war es jedoch, Medizin zu studieren. So nahm er in Tübingen zunächst ein Chemiestudium auf bis sein Onkel ihm das ersehnte Medizinstudium finanzierte.  Im Jahre 1869 heiratete er Anna Maria Spörli, die er in seinem späteren Werk "Agnes Bernauer" literarisch verewigte.  Während des Deutsch-Französischen Krieges war Ott 1870 Lazarettarzt in Karlsruhe. Zum Facharzt für Augenleiden ließ er sich von 1871 bis 1873 in Paris und Wien ausbilden. Seit 1875 arbeitete er nebenberuflich als Theaterkritiker am "Schaffhauser Intelligenblatt".


title: Arnold Ott

text: 1889 fand sein Volksstück "Agnes Bernauer" am herzoglichen Hoftheater in Meiningen „glänzende Aufnahme“. Zwischen 1895 und 1904 gab es Festspielaufführungen in Altdorf, Diessenhofen und Wiedikon, deren Stücke von Arnold Ott verfasst wurden. Eines seiner bekannteren Stücke hiess "Karl der Kühne und die Eidgenossen". Seine letzte Ruhestätte fand er auf dem Friedhof Friedental.


title: Arnold Ott

text: Der Medailleur Max von Kawaczynski aus Charlottenburg gestaltete zu Ehren des Augenarztes und Schriftstellers eine Porträt-Medaille. Sie zeigt Avers den Geehrten mit der Umschrift: DR. ARNOLD OTT sowie das Monogramm "MvK" des Berliner Künstlers mit der Jahreszahl "1901". Die Reversseite lehnt sich an eine Szene in Historienstücken an und trägt über einen am Boden mit Schwert ausgerüsteten leblosen Krieger sowie über ihn geneigten anderen Ritter die Umschrift: ICH WILL SO WEISE SEIN WIE ER UND SCHWEIGEN.


title: Gansbräu

text: Der Gansbräu, teilweise auch Gansbrauerei, ist eine Bierbrauerei in Neumarkt in der Oberpfalz, Bayern. Sie ist seit 1866 im Besitz der Familie Ehrnsperger und wird heute von den Familien Ötzinger und Zinnhobel geführt, ihre Ursprünge können bis 1580 zurückverfolgt werden.


title: Gansbräu

text: Die Brauerei hat ihren Sitz in der Ringstraße direkt an der Stadtmauer zwischen dem Pulverturm und dem ehemaligen Oberen Tor. Zur Brauerei gehören auch die Gaststätten "Oberer Ganskeller" am Oberen Tor, "Mittlerer Ganskeller" am Oberen Markt und "Unterer Ganskeller" am Unteren Tor.


title: Gansbräu

text: Zu den Biersorten gehören Gansbräu-Hell, Gansbräu-Dunkel, Gansbräu-Pils, Gansbräu-Festbier und Gansbräu-Radler. Alle drei Jahre kommt das Festbier auf dem Jura-Volksfest und dem Frühlingsfest in Neumarkt zum Ausschank. Seit dem Stadtjubiläum „850 Jahre Neumarkt“ gibt es außerdem das Gansbräu Rotbier „Anno 1160“, das 2010 und 2012 die Silbermedaille beim European Beer Star gewonnen hat.


title: Age of Empires Online

text: Age of Empires Online (kurz AoEO) ist eine Mischung aus Echtzeit-Strategiespiel und Massively Multiplayer Online Game, basierend auf der gleichnamigen Echtzeit-Strategiespielserie des Herstellers Microsoft. Es wurde am 16. August 2011 freigegeben und offiziell am 1. Juli 2014 eingestellt. Seit Ende 2017 lässt sich AoEO als "AoEO Celeste Fan Project" auf einem von unabhängigen Entwicklern gehosteten Server wieder kostenlos spielen. Das Project-Celeste-Team hat hierfür von Microsoft Entwicklertools erhalten und wird als Fanprojekt geduldet.


title: Age of Empires Online

text: Die ursprünglich von Microsoft veröffentlichte Version von "Age of Empires Online" spielte sich wie seine Vorgänger, allerdings mit typischen MMO-Elementen. Jeder Spieler hatte eine eigene Stadt, die er im Laufe des Spiels weiter ausbauen konnte. Diese repräsentierte den Spieler und diente als Ausgangspunkt für alle Abenteuer in AoEO. Jede Stadt beheimatete Quest-NPCs, die den Spieler ständig mit neuen Aufgaben versorgten. Durch abgeschlossene Quests erhielt man Erfahrung und andere Belohnungen. Anders als in den vorherigen Teilen standen am Anfang des Spiels nicht alle Technologien und Einheiten zur Verfügung. Nach Erreichen einer bestimmten Punktzahl stieg der Spieler eine Stufe („Level“) auf und konnte dann im Palast verschiedene Fähigkeitspunkte verteilen. Die Spielstufe bestimmte unter anderem, bis zu welchem Zeitalter man aufsteigen konnte. Mit fortgeschrittenen Zeitaltern und Technologien standen auch neue Einheiten und Gebäude zur Verfügung. Außerdem konnte man aus erbeuteten Rohstoffen Gegenstände („Items“) herstellen und diese an andere Spieler verkaufen.


title: Age of Empires Online

text: Dem Spieler standen in der Premium-Version mehrere spielbare Zivilisationen zur Verfügung.


title: Age of Empires Online

text: Dem Spieler standen verschiedene Premium-Pakete zur Auswahl, die im spieleigenen Shop, auf der Games-for-Windows-Live-Website oder bei Steam erworben werden könnten. Dem Spieler standen unter anderem Dekorationen für seine Hauptstadt und das Zusatzpaket („Add-on“) "Die Verteidigung Kretas" zur Verfügung; bei diesem musste sich der Spieler gegen Wellen an Eindringlingen verteidigen. Außerdem standen die jeweiligen Zivilisationen als Premium-Kultur zur Verfügung. Der Spieler erhielt so Zugriff auf bessere Items, Berater, mehr Platz für die Gegenstände und den vollen Technologie-Baum. Von diesem Konzept nimmt das Team von Project Celeste wieder Abstand und veröffentlicht keine entsprechenden Inhalte, obwohl die Entwicklertools dafür vorhanden wären.


title: Age of Empires Online

text: Es wurde am 16. August 2011 veröffentlicht. Ursprünglich wurde das Spiel von Robot Entertainment entwickelt. Am 24. Februar 2011 wurde bekannt, dass es von Gas Powered Games, dem Entwickler von "Supreme Commander", übernommen wurde. Das Spiel wurde von Microsoft betrieben. Die Entwicklung wurde Anfang 2013 gestoppt.


title: Age of Empires Online

text: AoEO war ein Free-to-play-Spiel, das kostenlos über die Online-Vertriebsplattformen Games for Windows Live und Steam heruntergeladen werden konnte. Über verschiedene kostenpflichtige Premium-Pakete konnte das Spiel erweitert werden. Nach dem Kauf standen so beispielsweise spezielle Gegenstände, mehr Kampagnen („Quests“) und Einheiten zur Verfügung. Erhältlich waren diese Pakete im Games for Windows Live Marketplace bzw. bei Steam. Zusätzlich war die Premium-Version der Griechen als Verkaufsversion im Einzelhandel verfügbar. Diese beinhaltete eine Referenzkarte für Tastaturkürzel, ein limitiertes Poster und Berater-Karten.


title: Age of Empires Online

text: Am 1. Juli 2014 wurde der Microsoft-Server abgeschaltet. Ein Fan-Patch mit dem Namen Project Celeste belebte das Spiel neu. Aufgrund von Beschränkungen des Rechteinhabers Microsoft ist das Fan Projekt vollständig kostenlos. Alle Bezahlinhalte wurden entfernt. Das Spielt enthält nur noch wenige MMO-Elemente und konzentriert sich stattdessen auf das ursprüngliche Konzept der "Age-of-Empires-"Serie mit klassischen Einzelspiel- und Mehrspielermodi.


title: Kommandierender General der Flakartillerie beim Oberbefehlshaber der Westbefestigungen

text: Der Kommandierende General der Flakartillerie beim Oberbefehlshaber der Westbefestigungen war eine Dienststelle der deutschen Luftwaffe während des Zweiten Weltkrieges auf Korpsebene. Die Aufstellung erfolgte am 15. November 1944. Im Februar 1944 wurde die Dienststelle aufgrund der Erdlage abgewickelt. Dem Kommandierenden General, General der Flakartillerie Helmut Richter, unterstand dabei die operative Führung aller Flakkräfte im Bereich des Westwalls.


title: Türkheim (Bay) Bahnhof

text: Türkheim (Bay) Bahnhof ist der an der Hauptbahn Buchloe–Memmingen gelegene größere der ehemals beiden Bahnhöfe der bayerischen Gemeinde Türkheim und bildet mit den umliegenden Gebäuden einen eigenen Ortsteil. Er wird als einzig verbliebener Bahnhof im Ortsgebiet regelmäßig im Regionalverkehr bedient.


title: Türkheim (Bay) Bahnhof

text: Der Bahnhof Türkheim befindet sich südwestlich des Ortes Türkheim, etwa zwei Kilometer von der Ortsmitte entfernt. Direkt nördlich des Bahnhofs liegt der Ortsteil Türkheim-Bahnhof, südlich grenzt das Industriegelände der ehemaligen Schneider Technologies AG an die Bahnanlagen. Das Empfangsgebäude steht nördlich der Gleise an der Alfred-Drexel-Straße. Im Osten des Bahnhofs werden die Gleise von der Staatsstraße 2015 durch eine Unterführung unterquert. Die Landstraße nach Wiedergeltingen überquert das Gleis der Staudenbahn nach Ettringen höhengleich über einen Bahnübergang.


title: Türkheim (Bay) Bahnhof

text: Der Kreuzungsbahnhof liegt an der Bahnstrecke Buchloe–Memmingen, einer eingleisigen und elektrifizierten Hauptbahn, auf der Regional- und Fernverkehrszüge verkehren. In Türkheim beginnt die fünf Kilometer lange, eingleisige Nebenbahn nach Bad Wörishofen, die nur im Regionalverkehr befahren wird. Der Bahnhof ist zudem Endpunkt der Bahnstrecke Gessertshausen–Türkheim. Inzwischen ist nur noch der Abschnitt bis Ettringen im Güterverkehr zur Bedienung des Anschlussgleises einer Papierfabrik in Betrieb, der Abschnitt von Ettringen bis Markt Wald ist stillgelegt.


title: Türkheim (Bay) Bahnhof

text: Der Bahnhof Türkheim liegt an folgenden Kursbuchstrecken:


title: Türkheim (Bay) Bahnhof

text: Nachdem sich bereits seit 1861 vor allem die Stadt Memmingen um einen Bahnanschluss in Richtung der Hauptstadt München bemüht hatte, wurde am 1. Mai 1874 die Bahnstrecke Buchloe–Memmingen eröffnet. Im Zuge des Baus dieser eingleisigen Verbindung erhielt Türkheim, das etwas nördlich der Trasse liegt, seinen ersten, relativ weit vom Ortskern entfernten Bahnhof. Um 1879 waren dort zwei Bahnsteiggleise vorhanden, sowie Güterhalle und Laderampe für den Frachtenverkehr an einem Nebengleis, das aus Richtung Buchloe befahren werden konnte.


title: Türkheim (Bay) Bahnhof

text: Die erste größere Erweiterung erfuhren die Anlagen der Staatsbahn mit dem Bau der zunächst privat betriebenen Nebenbahn nach Bad Wörishofen, das in der Zeit nach 1880 durch die Wasserkuren nach Sebastian Kneipp enormen Aufschwung erfuhr. Nach einigen technischen Schwierigkeiten – so war etwa zunächst das Einfahrsignal zur Sicherung der gekreuzten Hauptbahn vergessen worden – konnte die Stichbahn am 15. August 1896 dem öffentlichen Verkehr übergeben werden. Ab 1905 wurde sie von der Lokalbahn Aktien-Gesellschaft betrieben. Da die Bahnstrecke – als eine der ersten Bahnen überhaupt – bis zum Beginn des Zweiten Weltkrieges elektrisch betrieben wurde, wurde neben der Errichtung eines neuen Bahnsteiggleises mit Umfahrgleis auch ein Teil der Anlagen mit Fahrdraht überspannt.


title: Türkheim (Bay) Bahnhof

text: Zu etwa der gleichen Zeit strebten die nördlich liegenden Gemeinden Mittelschwabens und der Stauden ebenfalls den Bau von Lokalbahnen an. Nach Jahren diverser Diskussionen und konkurrierender Vorschläge einigte man sich im November 1903 auf die schließlich auch realisierten Projekte der Mittelschwabenbahn von Mindelheim nach Kirchheim (mit späterem Anschluss ab Pfaffenhausen an die Bahnstrecke Augsburg–Ulm in Günzburg) und der Bahnstrecke Gessertshausen–Türkheim von Türkheim nach Ettringen (ebenfalls mit späterem Anschluss an die Bahnstrecke Augsburg–Ulm in Gessertshausen). Mit der Eröffnung der zweitgenannten Verbindung am 29. Oktober 1908 erreichte der Bahnhof Türkheim schließlich seine volle Ausbaustufe.


title: Türkheim (Bay) Bahnhof

text: Im Zuge der Bauarbeiten an der Ausbaustrecke 48 München–Memmingen–Lindau wurde der Bahnhof Türkheim grundlegend umgebaut. Der Hausbahnsteig mit Gleis 1, sowie der Mittelbahnsteig für Gleis 3 und Gleis 4 wurden auf 55 Zentimeter über Schienenoberkante erhöht, auf aktuellen Standard gebracht und mittels einer Unterführung barrierefrei verbunden. Gleis 2 ist ein reines Durchfahrtsgleis, ebenso wurde der westliche Gleisbereich für eine effektivere Nutzung umgestaltet. Im Juli 2018 begann, im Rahmen einer Vollsperrung der Bahnstrecke, der vollständige Abriss und Neubau der bisherigen Bahnsteige inklusive einer neuen Unterführung, die im Oktober 2018 fertiggestellt wurde. Im Zuge dessen erfolgte auch eine betriebliche Neuordnung. Züge in Richtung Memmingen und Buchloe fahren nun beide vom Mittelbahnsteig Gleis 3, im Fall einer Begegnung auch vom Hausbahnsteig Gleis 1. Züge von und nach Bad Wörishofen, die in Türkheim beginnen oder enden, fahren statt von Gleis 1a, welches aufgegeben wurde, nun von Gleis 4.


title: Türkheim (Bay) Bahnhof

text: Da die Bahnstrecke Gessertshausen–Türkheim in unmittelbarer Nähe des Ortes Türkheim verläuft, wurde dort ein zweiter Bahnhof errichtet. Dieser wurde als "Türkheim (Bay) Markt" bezeichnet, während der ältere Bahnhof an der Hauptstrecke zur besseren Unterscheidung fortan als "Türkheim (Bay) Bahnhof" geführt wurde. Mit Unterbrechung der Staudenbahn bei Schnerzhofen und Einstellung des Personenverkehrs auf dem Reststück nach Ettringen am 12. Januar 1987 ist der zweite Bahnhof jedoch aufgehoben.


title: Türkheim (Bay) Bahnhof

text: Das Empfangsgebäude wurde 1992 abgerissen, doch sind Spuren der Gleisanlagen und des Bahnsteiges verblieben. Durch die dort noch bis Mitte der 1990er Jahre praktizierte Verladung von Eisenbahnwagen auf Straßenroller zum Transport ins Werk der Salamander Industrie-Produkte gelangte der Bahnhof noch nach Schließung zu einiger Bekanntheit.


title: Türkheim (Bay) Bahnhof

text: Auch am Bahnhof der Hauptstrecke hat sich Industrie angesiedelt. Das wichtigste dort ansässige Unternehmen war bis zu dessen Konkurs die Schneider Technologies AG, deren Werk heute als Gewerbepark, unter anderem durch Finsterwalder Transport & Logistik, genutzt wird. Dieses unmittelbar südlich der Bahnanlagen gelegene Gelände verfügte bis Frühjahr 2012 über einen Privatgleisanschluss. Das entsprechende Gleis verläuft östlich neben der Wörishofer Bahnstrecke und endet kurz vor dem Bahnübergang an der Mindelheimer Straße. Dort wird Kopf gemacht und über eine Weiche und eine nachfolgende Gleisharfe waren bis zuletzt die diversen Stumpfgleise im Werksgelände erreichbar. Im Frühjahr 2012 wurden jedoch die Gleise auf dem Gewerbepark abgebaut und die Einfahrt verschlossen.


title: Janowice

text: Janowice steht für Orte in Polen:


title: Janowice

text: Siehe auch:


title: Feminist Studies

text: Feminist Studies ist eine US-amerikanische akademische Fachzeitschrift für Frauenforschung. Die Redaktion hat ihren Sitz an der University of Maryland. "Feminist Studies" ist die älteste ununterbrochen publizierte Fachzeitschrift auf dem Gebiet der Frauenforschung in den Vereinigten Staaten.


title: Feminist Studies

text: Die in der Zeitschrift publizierten Beiträge sind interdisziplinär und haben eine feministische Perspektive gemein. Sie zeichnen sich durch die Vielseitigkeit ihrer Gattungen aus (Forschungsartikel, Reviews, politische Kommentare, Interviews, gestalterische Arbeit). Häufig werden darin Gender-Aspekte mit Fragen der kulturellen Identität, sexuellen Orientierung, Einkommensfragen, geografischer Lokalisierung und körperlichem Vermögen oder Unvermögen verknüpft.


title: Feminist Studies

text: Bis in die späten 1960er Jahre nutzte die akademische Forschung über Frauengeschichte, Frauenforschung und Frauen in der Literaturwissenschaft lediglich empirische Herangehensweisen. Wegen dieser Unterbilanz in verschiedenen akademischen Disziplinen traten feministische Wissenschaftlerinnen 1969 zusammen, um eine Zeitschrift zu gründen, die als analytisches Forum dienen sollte.


title: Feminist Studies

text: Gründungsmitglieder waren die Women’s Liberation Group der Columbia University, Studentinnen des Sarah Lawrence College, das seit 1970 arbeitende MLA-Committee über den Status von Frauen in der Literaturwissenschaft und feministische Aktivistinnen aus New York. Gemeinsam publizierte die Gruppe erstmals 1972 in New York ihre Essays und Paper in einer Zeitschrift, die sie "Feminist Studies" nannte. Die erste Herausgeberin, Ann Calderwood, finanzierte das Projekt bis 1977 aus eigener Tasche, sodass bis dahin nur wenige Ausgaben erscheinen konnten.


title: Feminist Studies

text: Im Zuge der rasant wachsenden Disziplin der Frauenforschung wurde das Journal im selben Jahr von einer Gruppe Akademikerinnen neu strukturiert und herausgegeben. Es fand seine neue Heimat an der University of Maryland, wo es Claire G. Moses, die über drei Jahrzehnte lang Chefredakteurin blieb, mit einer kleinen bezahlten Belegschaft fortan herausgab. Von der University of Maryland wurden der Zeitschrift im College Park Büroräume und eine kleine finanzielle Förderungen zur Verfügung gestellt. Die aktuelle Herausgeberin ist Ashwini Tambe. Feminist Studies ist Mitglied des internationalen Feminist Journals Network (FJN).


title: .500 Wyoming Express

text: .500 Wyoming Express ist eine Kurzwaffenpatrone, die von der Firma „Freedom Arms“, speziell für deren Revolver „M83“ entwickelt wurde. Erkennungsmerkmal der .500 WE ist die Gürtelhülse, deren Verwendung bei Kalibern für Kurzwaffen selten ist. Gründe für die Verwendung einer Gürtelhülse ergaben sich aus baulichen und fertigungstechnischen Überlegungen der Entwickler.


title: .500 Wyoming Express

text: Im deutschen Nationalen Waffenregister (NWR) wird die Patrone unter Katalognummer 2275 unter folgenden Bezeichnungen geführt (gebräuchliche Bezeichnungen in Fettdruck)


title: Angara-Airlines-Flug 5007

text: Bei der Notwasserung einer Passagiermaschine vom Typ Antonow An-24 der russischen Fluggesellschaft Angara Airlines mit der Flugnummer 5007 auf dem sibirischen Fluss Ob am 11. Juli 2011 um 11:55 Uhr nahe Streschewoi wurden mindestens sieben der 37 Insassen getötet. Von den übrigen Insassen der Maschine, die sich auf dem Weg von Tomsk nach Surgut befand, wurden mindestens 25 verletzt. Der Rumpf des Flugzeugs hatte der starken Belastung durch den Aufprall auf dem Wasser nicht standgehalten. Zur Notlandung kam es, nachdem eines der beiden Triebwerke der Propellermaschine Feuer gefangen hatte.


title: St-Julien (Boulbon)

text: Die katholische Kapelle Saint-Julien in Boulbon, einer französischen Gemeinde im Département Bouches-du-Rhône in der Region Provence-Alpes-Côte d’Azur, wurde im 12. Jahrhundert errichtet. Die Kapelle ist seit 1941 ein geschütztes Kulturdenkmal (Monument historique).


title: St-Julien (Boulbon)

text: Die Kapelle befindet sich drei Kilometer nordöstlich des Ortes in einem Eichenwald.


title: St-Julien (Boulbon)

text: Die einschiffige Kapelle ist in zwei Joche unterteilt. Sie öffnet sich im Osten zu einem Chor, der innen halbrund und außen polygonal ist. Sie ist mit einer gebrochenen Tonne gedeckt, die von Gurtbögen unterfangen wird. Der Triumphbogen ruht auf zwei skulptierten Konsolen. Auf einer Konsole wird ein Löwe dargestellt, der eine Beute verschlingt, auf der anderen ein Stier. Der einzige Schmuck der Apsis ist ein Gesims, auf dem die Gurtbögen aufliegen.


title: St-Julien (Boulbon)

text: Die Fassade ist durch drei mächtige Strebepfeiler gegliedert. Unter dem Dachansatz verläuft ein Gesims mit Kragsteinen.


title: Mammillaria brandegeei

text: Mammillaria brandegeei ist eine Pflanzenart aus der Gattung "Mammillaria" in der Familie der Kakteengewächse (Cactaceae). Das Artepitheton ehrt den US-amerikanischen Botaniker Townshend Stith Brandegee.


title: Mammillaria brandegeei

text: "Mammillaria brandegeei" wächst meist einzeln oder auch Gruppen bildend. Die Pflanzenkörper sind niedergedrückt kugelig bis kurz-zylindrisch. Sie sind dunkelgrün und werden 9 Zentimeter im Durchmesser groß. Die Warzen sind konisch geformt, fest, basal vierkantig und haben Milchsaft. Die Axillen sind wollig. Die 1 bis 4 Mitteldornen sind rötlich-braun mit dunkler Spitze, gerade, kräftig und 1 bis 1,2 Zentimeter lang. Die 9 bis 16 Randdornen sind weißlich bis gelblich braun, mit dunkler Spitze, nadelig steif, gerade etwa 0,7 bis 1 Zentimeter lang.


title: Mammillaria brandegeei

text: Die Blüten sind grünlich gelb, bräunlich gelb oder nur gelb gefärbt. Sie werden 1,5 bis 2 Zentimeter lang. Die langsam reifenden Früchte sind trübrosa gefärbt. Sie enthalten braune Samen.


title: Mammillaria brandegeei

text: "Mammillaria brandegeei" ist in dem mexikanischen Bundesstaat Baja California verbreitet.


title: Mammillaria brandegeei

text: Die Erstbeschreibung als "Cactus brandegeei" erfolgte 1894 durch John Merle Coulter. Mary Katharine Brandegee stellte die Art 1897 in die Gattung "Mammillaria". Ein weiteres nomenklatorisches Synonym ist "Neomammillaria brandegeei" (1923).


title: Mammillaria brandegeei

text: Es werden folgende Unterarten unterschieden:


title: Mammillaria brandegeei

text: In der Roten Liste gefährdeter Arten der IUCN wird die Art als „“, d. h. als nicht gefährdet geführt. Die Unterarten wurden nicht separat erfasst.


title: Päpstliches Polnisches Kolleg

text: Das Päpstliche Polnische Kolleg (lat.: "Pontificium Collegium Polonorum", pl.: "Papieskie Kolegium Polskie", it.: "Pontificio Collegio Polacco") in Rom ist ein für polnische Priester und Seminaristen gegründetes Päpstliches Kolleg.


title: Päpstliches Polnisches Kolleg

text: Bereits am 1. September 1583 hatte Philipp Neri mit der Einrichtung eines Kollegs für polnische Priesteramtskandidaten begonnen. In den Gründungsjahren wurde das Kolleg um 1653 auch vom polnischen König Johann II. Kasimir unterstützt. Das Institut nahm polnische und schwedische Studenten auf, es wurde aber Ende des 17. Jahrhunderts geschlossen.


title: Päpstliches Polnisches Kolleg

text: Es war dann schließlich Pater Piotr Semenenko CR zu verdanken, dass das polnische Kolleg nicht unterging. Er trat für die Wiedereröffnung eines polnischen Kollegs in Rom ein, sammelte Geld und wurde nach der Neugründung der erste Rektor (1866–1872). Erst 1866 begann eine erneute Phase des Wiederaufbaus mit finanzieller Unterstützung aus dem Hause Odescalchi und des Papstes Pius IX. (1846–1878) konnte das Kolleg ausgebaut werden. Am 24. März 1866 wurde in der Via Vecchia Salara ein neues Haus erworben, die Arbeiten begannen am 16. Mai 1866. Am 1. Juli 1878 konnte das Kolleg am jetzigen Ort, dem ehemaligen Päpstlichen Maronitischen Kolleg, in die Via dei Maroniti einziehen. Zum Schutzpatron wurde der Hl. Johannes von Krakau (1390–1473) erkoren.


title: Päpstliches Polnisches Kolleg

text: Im Jahre 1936 musste das Kolleg erneut umziehen und mietete neue Räumlichkeiten an. Nach dem Zweiten Weltkrieg übernahmen die Jesuiten die Schulleitung und seit 1959 steht das Kolleg unter der direkten Verwaltung des polnischen Episkopats. Das Kolleg bietet etwa 40 Seminaristen und Priestern Unterkunft und Ausbildung an, diese können am Kolleg und den Päpstlichen Universitäten in Rom studieren.


title: Päpstliches Polnisches Kolleg

text: Die Anschrift lautet: Pontificio Collegio Polacco, Piazza Remuria 2A, 00153 Rom, Italien. Seit 2007 ist Tadeusz Karkosz Rektor. Er war Seminarist am Päpstlichen Polnischen Kolleg und ist Doktor der Theologie, zuvor war er Kaplan in der Erzdiözese Posen. Zum Lehrerkollegium gehören Marek Starowieyski (* 1937), Piotr Bajor, Janusz Królikowski und Ireneusz Korzeniowski. Der Studienjahrgang 2009/2010 war mit 32 Studenten belegt, die Seminaristen sind ebenfalls an Päpstlichen Universitäten immatrikuliert. Die Hausverwaltung wird von Patres der Congregatio Fratrum Cordi Jesu wahrgenommen, die Hausversorgung leiten Ordensschwestern der Dienerinnen der Unbefleckten Empfängnis.


title: Ivan Krstanović

text: Ivan Krstanović (* 5. Januar 1983 in Duvno) ist ein bosnisch-kroatischer Fußballer. Seit 2013 steht er beim kroatischen Erstligisten HNK Rijeka unter Vertrag.


title: Ivan Krstanović

text: Krstanović ging aus der Jugend seines Heimatvereines HNK Tomislav Tomislavgrad hervor. Dort verbrachte er auch seine ersten 4 Jahre als Fußballer, ehe er zur Saison 2004/2005 zum NK Drinovci wechselte. Über NK Posušje kam er dann 2008 nach Kroatien, zum Hauptstadtverein NK Zagreb. Dort wurde er in der Saison 2010/2011 mit 19 Treffern der erfolgreichste Schütze in der 1. HNL. Dieser Erfolg weckte das Interesse des kroatischen Meisters Dinamo Zagreb. Er wechselte für rund 1.500.000 € zum Rekordmeister. Seine ersten beiden Treffer erzielte er in der 2. Runde der Qualifikation zur UEFA Champions League, beim 3:0-Heimsieg seines Teams. Im Juli 2013 wechselte er zu HNK Rijeka.


title: Ivan Krstanović

text: Krstanović wurde, trotz seiner Stürmerqualitäten, bisher nur einmal für die bosnisch-herzegowinische Auswahl nominiert.


title: Ivan Krstanović

text: Dinamo Zagreb


title: Ivan Krstanović

text: Persönliche Auszeichnungen


Die Liste der Mannschaftskader der deutschen Schachbundesliga 1981/82 enthält alle Spieler, die in der Schachbundesliga 1981/82 mindestens eine Partie gespielt haben.


title: Mannschaftskader der deutschen Schachbundesliga 1981/82

text: Die 16 Vereine durften neben 8 Stammspielern maximal 12 Ersatzspieler melden, allerdings kamen nicht alle gemeldeten Spieler auch zum Einsatz. Mit 10 Spielern kamen die SG Bochum 31, der FC Bayern München, der Hamburger SK im Hamburger SV und der SK Johanneum Eppendorf aus, die meisten Spieler setzten der VfL Sindelfingen und der TB Erlangen ein, nämlich jeweils 15. Insgesamt wurden in der Saison 1981/82 186 Spieler eingesetzt, von denen 49 alle Wettkämpfe bestritten. 18 dieser 49 Spieler hatten auch in der Saison 1980/81 an allen Wettkämpfen teilgenommen und damit noch keine Runde der eingleisigen Bundesliga verpasst.


text: Pro Wettkampf durfte ein Verein zwei Ausländer einsetzen, allerdings machten nicht alle Vereine von diesem Recht Gebrauch; wie in der Saison 1980/81 kamen insgesamt 10 Ausländer zum Einsatz. Während der sowjetischen Exweltmeister Boris Spasski, der US-Amerikaner Lubomir Kavalek (beide Solinger SG 1868), der Tschechoslowake Vlastimil Hort, der Isländer Guðmundur Sigurjónsson (beide SG Porz), der Däne Jens Ove Fries Nielsen (Favorite Hammonia), der Schwede Harry Schüssler (SG Bochum 31), und der Neuseeländer Murray Chandler (Hamburger SK im Hamburger SV) bereits in der vorhergehenden Saison in der Bundesliga gespielt hatten, gaben der Finne Heikki Westerinen (Solinger SG 1868), der Engländer Tony Miles (SG Porz) und der Niederländer Gennadi Sosonko ihr Bundesliga-Debüt.


text: Die meisten Punkte erzielte der Porzer Peter Ostermeyer mit 13 Punkten aus 15 Partien, sein Mannschaftskollege Helmut Reefschläger stand ihm mit 12 Punkten aus 15 Partien nur wenig nach. Der Frankfurter Matthias Steinbacher gewann alle acht Partien, die er spielte, und erreichte als einziger Spieler in der Saison 1981/82 100 %.


text: Die jüngsten Spieler der Saison waren die 1964 geborenen Michael Autenrieth (TB Erlangen) und Luis Martin-Sommerfeldt (Favorite Hammonia), ältester Spieler war der für Favorite Hammonia spielende Herbert Heinicke (1905–1988). Heinicke spielte seine letzte Bundesliga-Partie am 6. Juni 1982, mit einem Alter von 77 Jahren und 84 Tagen blieb er lange Zeit der älteste Spieler, der jemals in der Bundesliga eingesetzt wurde. Erst am 5. Dezember 2014 kam mit Wolfgang Uhlmann, der damals 79 Jahre und 251 Tage alt war, ein älterer Spieler in der Bundesliga zum Einsatz.


text: Die nachstehenden Tabellen enthalten folgende Informationen:


text: Anmerkungen:


title: Minoritenkirche (Arad)

text: Die Minoritenkirche "St. Antonius von Padua" in Arad (, volkstümlich auch "Katholische Kathedrale von Arad", rumänisch "Catedrala Catolică din Arad", genannt) ist eine römisch-katholische Kirche des Minoritenordens im I. Bezirk Centru der Stadt Arad in Rumänien.


title: Minoritenkirche (Arad)

text: Die katholische Kirche begann ihre Tätigkeit in Arad am Ende des 17. Jahrhunderts, als Franziskaner Minoriten sich mit der kaiserlichen Armee in der Arader Festung niederließen, wo auch die erste katholische Kirche gebaut wurde. Die Minoriten predigten auch in der Zivilsiedlung und trugen zur Errichtung der ersten katholischen Kirche der Stadt zu Beginn des 18. Jahrhunderts bei.


title: Minoritenkirche (Arad)

text: Der Grundstein der katholischen Kirche in Arad wurde am 3. April 1751 durch Bischof Engl von Wagrain gelegt. Am 13. April 1758 fand die Weihe und Übergabe der Kirche an die Minoriten statt. Der Orden betreute auch die katholische Gemeinde der Arader Innenstadt.  Im Jahre 1901–1903 wurde die alte Kirche abgerissen und es entstand ein neuer Kirchenbau, der am 2. Oktober 1911 konsekriert wurde.


title: Minoritenkirche (Arad)

text: Die neue Kirche wurde im Neobarockstil erbaut. Die Außenfassade zeigt zwei vorspringende korinthische Säulenpaare, zwischen denen sich das Eintrittsportal befindet. Über dem Eingang liegt ein schmales Tonnengewölbe, das zu dem Tympanon mit einer Pietà führt. Auf den Säulen folgt ein dreiteiliger Architrav. Das umlaufende Kranzgesims zeigt im Mittelfeld Nischen mit Figuren. Dieser Bauteil wird von zwei Putten gekrönt. Darüber erhebt sich eine Kuppel. Der Tambour wird jeweils durch zwei ionische Halbsäulen gegliedert. Die Kuppel selbst wird von breiten Rippen überzogen, die zur Laterne führen und ihren Endpunkt im Kreuz finden. Im Pronaos steht die Heilige Dreifaltigkeit, eine Bronzegruppe des Bildhauers "Johann Rona".


title: Minoritenkirche (Arad)

text: Im Jahre 1871 wurde eine neue Empore in der Kirche errichtet. Der Orgelbauer "Karl Janicsek" aus Pressburg lieferte dafür die neue Orgel. Wenige Jahre später baute "Anton Dangl" eine neue Orgel für die Kirche. Dieses Instrument wurde 1905 von Carl Leopold Wegenstein aus Temeswar renoviert und in der Kirche der Gemeinde Kövegy im Komitat Csanád aufgestellt, wo es auch heute noch erklingt. Für die neue Kirche erbaute der Orgelbauer Otto Rieger aus Budapest das Opus. Dieses große Instrument hat eine pneumatische Spiel- und Registertraktur, 3 Manuale und Pedal und zwei Spieltische: einer für die Werktagsgottesdienste und einer für Sonn- und Feiertage.


title: Alarico Fernandes

text: Alarico Jorge G. Fernandes war ein osttimoresischer Politiker, Unabhängigkeitsaktivist und Freiheitskämpfer. Er stammte aus Aissirimou (Gemeinde Aileu).


title: Alarico Fernandes

text: Fernandes gehörte 1974 zu den Mitbegründern der linksorientierten osttimoresischen Partei FRETILIN (zuerst unter dem Namen ASDT) und war ihr erster Generalsekretär. Innerhalb der Partei gehörte er, nach Einschätzung des damaligen Sekretärs für Außenbeziehung José Ramos-Horta, zum kommunistischen Flügel.


title: Alarico Fernandes

text: Nach der Ausrufung der Unabhängigkeit Osttimors 1975 wurde Fernandes Innen-, Informations- und Sicherheitsminister. Nach der Invasion Indonesiens verlas Fernandes im Radio Maubere der FRETILIN regelmäßig Berichte vom Abwehrkampf gegen die Besatzer, wobei der Wahrheitsgehalt nicht unbedingt sehr hoch war und ständig Erfolge der FRETILIN vermeldet wurden. Den Sender hatten die Osttimoresen 1975 von der Communist Party of Australia erhalten.


title: Alarico Fernandes

text: Bei der Konferenz der FRETILIN in Laline im August 1977 stellte sich Fernandes gegen die herrschende Meinung, dass ein weiterer Widerstand auch ohne Hilfe von außen möglich wäre. Präsident Francisco Xavier do Amaral war bereits aufgrund seiner gegensätzlichen Meinung dem Treffen ferngeblieben. Amaral wurde im Monat darauf abgesetzt und verhaftet. Fernandes ergab sich den Indonesiern im September 1978. Der Radiosender wurde am 12. Dezember von den Indonesiern aufgespürt und die Sendungen beendet. Es gibt Vorwürfe, dass Fernandes zu den Indonesiern übergelaufen sei und bereits vor seiner Gefangennahme kodierte Nachrichten über das Radio an die Invasoren sendete, um Stellungen des Widerstands zu verraten. Außerdem soll er sich an der indonesischen Operation Skylight, bei der gezielt versucht wurde, FRETILIN-Kommandanten zur Aufgabe zu bewegen oder zu eliminieren, beteiligt haben. Fernandes wurde von den Indonesiern auf die Insel Sumba gebracht, wo er fortan lebte.


title: Alarico Fernandes

text: Ende 2010 kehrte Alarico Fernandes nach Osttimor zurück. Er wurde von Premierminister Xanana Gusmão freundlich begrüßt.


title: Horst Temmen

text: Horst Temmen (* 31. August 1951) ist ein deutscher Verleger. Er studierte von 1972 bis 1977 an der Universität Bremen Ökonomie und schloss mit dem 1. Staatsexamen ab. Danach war er u. a. als wissenschaftlicher Mitarbeiter in der 1982 gegründeten Forschungsstelle Osteuropa tätig.


title: Horst Temmen

text: 1984 gründete er mit Helmut Donat den Verlag Donat & Temmen, der bis 1987 bestand. Seitdem führt er eigenständig einen Verlag mit dem Namen Edition Temmen. Mit dem Schwerpunkt auf Reiseführer für Städte wie Bremen, regionale Literatur und heimische Autoren entwickelte er ein eigenes Profil als Kleinverlag. Die Manuskripte für Veröffentlichungen liest er meist selbst, um das Programm seines Verlages um interessante Publikationen zu ergänzen.


title: Horst Temmen

text: Horst Temmen war außerdem von Mai 2005 bis April 2006 Vorstand der Janosch Film & medien AG.


title: Hôtel du Cerf

text: Das Hôtel du Cerf, auch "Grand Hôtel du Cerf", war ein Hotel in der "Rue de la Montagne" (Bergstraße) in Echternach (Luxemburg).


title: Hôtel du Cerf

text: Im 19. Jahrhundert gehörte das Hotel Jean Foehr. In den Jahren 1862, 1863 und 1865 übernachtete Victor Hugo dort. Am 18. Oktober 1896 veranstaltete Jacques Marie Bellwald im Hôtel du Cerf die erste Filmvorführung Luxemburgs. Das Gebäude wurde vor 1912 renoviert. Damals befand es sich im Besitz der Geschwister Straus.


title: Hôtel du Cerf

text: Es fiel der Ardennenoffensive zum Opfer und wurde später nicht wieder aufgebaut; stattdessen wurde die "Rue du Pont" angelegt. Am 30. Juni 1985 wurde eine Gedenktafel angebracht, die an das Hotel und seinen Gast Victor Hugo erinnert.


title: Cuthred

text: Cuthred (auch Cuthrid, Cuðred, Cuþred, Cuþræd) ist ein angelsächsischer männlicher Vorname. Der Name ist aus den Elementen "Cuth-" (=„kundig, bekannt, sicher, ausgezeichnet, freundlich, verwandt“) und "-red/-ræd" (=„Rat, Weisheit, Glück, Hilfe, Macht“) zusammengesetzt.


title: Päpstliches Kanadisches Kolleg

text: Das Päpstliche Kanadische Kolleg (italienisch "Pontificio Collegio Canadese", englisch "Canadian Pontifical College") in Rom ist ein Päpstliches Kolleg für Seminaristen und Ordenspriester der Sulpizianer aus Kanada.


title: Päpstliches Kanadisches Kolleg

text: Das Kolleg wurde 1887 von Edward Henry Kardinal Howard gegründet, die Finanzierung übernahm die Ordensprovinz der Sulpizianer in Kanada, denen später auch die Kollegleitung übertragen wurde. Förderer war ebenfalls der kanadische Superior der Sulpizianer Frédéric-Louis Colin PSS. Das Schulgebäude wurde 1887 in der Via delle Quattro Fontane errichtet und 1888 wurden die ersten Studenten eingeschrieben. Am 6. Mai 1932 erhielt das Kolleg durch Papst Pius XI. (1922–1939) den Status zum Päpstlichen Kolleg, der im November 2005 nach einer Untersuchung bestätigt wurde. Der Rückgang an Studienteilnehmern führte 1974 zum Verkauf der eigenen Gebäude, das Kolleg bezog ein Teilgebäude im Päpstlichen Kolleg Nepomucenum in der Via Concordia. 1977 richtete sich das Kolleg in der Via Crescenzio ein, es ist das Generalhaus der Ursulinen-Schwestern vom Heiligen Berg von Varallo. Das heutige Priesterseminar verfügt hier über 21 Zimmer.


title: Päpstliches Kanadisches Kolleg

text: Das Kolleg bietet kanadischen Priestern den Erwerb eines akademischen Grades an. Priestern mit einem bereits abgeschlossenen Studium können nach zwei Jahren einen erweiterten Abschluss mit einem Doktorgrad erlangen. Im Studienjahr 2010/2011 sind 24 Teilnehmer eingeschrieben, sie studieren an den verschiedensten Päpstlichen Universitäten in Rom. Die Anschrift lautet: Canadian Pontifical College, Via Crescenzio 75, 000193 Rom, Rektor des kanadischen Kollegs ist seit 2008 Pater Èric Sylvester PSS.


title: Benitz (Brome)

text: Benitz ist ein Ortsteil des niedersächsischen Fleckens Brome. Es ist der nördlichste Ortsteil in der Samtgemeinde Brome.


title: Benitz (Brome)

text: Benitz liegt drei Kilometer nordwestlich des Ortes Brome an der Bundesstraße 244. In der Umgebung finden sich vor allem Felder und kleinere Forstgebiete. Östlich von Benitz fließt die Ohre.


title: Benitz (Brome)

text: Die Bromer Ortsteile Altendorf und Wiswedel liegen etwa zwei Kilometer südöstlich bzw. drei Kilometer westlich. Der Wittinger Ortsteil Radenbeck liegt vier Kilometer nordwestlich. Nächstgelegener Ort ist Wendischbrome in Sachsen-Anhalt, das nur einen Kilometer östlich liegt.


title: Benitz (Brome)

text: Benitz wurde als Rundling erbaut. Der Name entstammt dem Altslawischen und bedeutet so viel wie „Ort des Ben“, wobei "Ben" „Töter der Feinde“ bedeutet. Im 17. Jahrhundert wurde der Ort als "Behnsen" oder "Behnßen" bezeichnet. Im Osten Benitz’ wurde die Mühle Gödchen Mühle (auch Gätjen Mühle oder Gödjen Mühle) errichtet, die auch von den Landwirten aus Wendischbrome genutzt wurde. 1872 gab es in Benitz einen Großbrand, in dessen Folge die Rundlingsstruktur weitgehend aufgegeben wurde und 1880 die Chaussee durch den Ort gelegt werden konnte. 1909 wurde die Bahnstrecke Wittingen–Oebisfelde eröffnet, die westlich von Benitz verläuft. Dort befand sich auch der Bahnhof Benitz-Wiswedel, der bis 1974 im Personenverkehr bedient wurde. 1928 wurde ein eigener Friedhof angelegt, nachdem zuvor die Beerdigungen in Altendorf stattgefunden hatten.


title: Benitz (Brome)

text: 1919 lebten in Benitz 114 Personen. 1939 war die Zahl auf 106 gesunken; bis 1950 stieg sie wegen der Flüchtlingsströme auf 205 an. 1984 betrug die Einwohnerzahl 111. Im selben Jahr gab es dort acht landwirtschaftliche Betriebe.


title: Benitz (Brome)

text: Die Gemeinde Benitz wurde am 1. Juli 1965 Teil der Samtgemeinde Brome. Am 1. März 1974 wurde sie in den Flecken Brome eingemeindet und somit am 15. März 1974 Teil der neugegründeten Samtgemeinde Brome.


title: Benitz (Brome)

text: Benitz gehört zum evangelisch-lutherischen Pfarramt Brome I des Pfarrverbundes Brome-Tülau/Ehra. Der Ort liegt unmittelbar an der B 244. Eine Kreisstraße führt nach Wiswedel. Benitz wird von Bussen der VLG-Linie 163 (Wittingen–Brome/Zicherie) im Zweistundentakt sowie in der Schulzeit von Bussen der ZGB-Linie 165 angefahren.


title: Kurztitelkatalog Flandern

text: Der Short Title Catalogus Vlaanderen (zu deutsch "Kurztitelkatalog Flandern"), abgekürzt STCV, ist die Nationalbibliographie von Flandern, der niederländischsprachigen Region Belgiens, für das 17. und 18. Jahrhundert. Die Online-Datenbank beinhaltet bibliographische Angaben zu über 22.500 Druckausgaben, die nach dem Autopsieverfahren aus der Sichtung von über 41.000 Einzelexemplaren des historischen Buchbestands des Landesteils ermittelt wurden (Stand Februar 2016). Der Zugriff ist frei.


title: Kurztitelkatalog Flandern

text: Der Schwesterkatalog für die Niederlande ist der STCN.


title: Kurztitelkatalog Flandern

text: Die Datenbank ist ein Gemeinschaftsunternehmen aus Forschungsbibliotheken, Archiven und Sondersammlungen mit nationalem buchgeschichtlichem Kulturgut ().


title: Kurztitelkatalog Flandern

text: Ausgehend von im Jahr 2000 begonnenen Planungen für eine Langzeitarchivierung wurde 2003 eine erste Auftragsstudie von Jeroen Walterus vorgelegt, die die Situation historischer Buchbestände in Flandern analysierte und einen Zeitplan vorlegte. Sie ermittelte rund 250 Sammlungen und teilte diese in die Wertungsklassen A bis D. Walterus entwickelte darin auch das Konzept von „Bewahrungsbibliotheken“ als "regionale" Nationalbibliothek für Flandern. Alte Drucke (oude drukken) wurden in der Analyse definiert für die Zeit 15. bis 18. Jahrhundert.


title: Kurztitelkatalog Flandern

text: Verzeichnisvorgänger war das Werk "Belgica typographica 1541–1600", gedruckt erschienen von 1968 bis 1994. Dagegen war der STCV von Anbeginn als Datenbank konzipiert unter Einsatz des Bibliothekssystems „Brocade“ der Universität Antwerpen. Der STCV wurde am 5. November 2002 öffentlich freigegeben.


title: Kurztitelkatalog Flandern

text: Federführend ist seit September 2009 das Netzwerk Vlaamse Erfgoedbibliotheek, das von der Flämischen Gemeinschaft durch Kabinettsbeschluss errichtet wurde. Es besteht aus für die Langzeitarchivierung qualifizierten Teilnehmern, den flandrischen „bewaarbibliotheeken“: „Erfgoedbibliotheek Hendrik Conscience“ in Antwerpen (früher Stadsbibliotheek Antwerpen), der „Öffentlichen Bibliothek“ in Brugge, der „Provinzbibliothek Limburg“ in Hasselt, den Universitätsbibliotheken der Universität Antwerpen, der Universität Gent und der Katholischen Universität Löwen.


title: Kurztitelkatalog Flandern

text: Die Online-Datenbank beinhaltet bibliografische Angaben zu über 22.500 Druckausgaben, die nach dem Autopsieverfahren aus der Sichtung von über 41.000 Einzelexemplaren des historischen Buchbestands des Landesteils ermittelt wurden (Stand Februar 2016).


title: Kurztitelkatalog Flandern

text: Der Ausbau erfolgt etappenweise, so waren bis 2007 die Werke des 17. Jahrhunderts weitgehend erfasst, anschließend an die "Belgica typographica". Ab 2007 erfolgte die Aufnahme der Titel aus dem 18. Jahrhundert. Das jährliche Volumen der gesichteten Bände beträgt rund 3000 Titel.


title: Kurztitelkatalog Flandern

text: Sprachlich umfasst der STCV Werke in niederländischer, deutscher, englischer, spanischer, italienischer, portugiesischer, lateinischer, altgriechischer, hebräischer, arabischer und syrischer Sprache.


title: Kurztitelkatalog Flandern

text: "Short Title" oder "Kurztitel" bedeutet eine verkürzte Titelangabe, bei der auf eine vollständige bibliografische Beschreibung verzichtet wird. Erfasst, und damit suchfähig, sind: Autor; Titel; falls keine Titelseite vorhanden ist, ein Incipit; Drucker oder Verleger; Druck- oder Verlagsort; Schlagwörter; Textsprache. Zusätzlich werden die Druckwerke physisch beschrieben (Kollation) und mit bibliografischen Quellen, einem Fingerprint sowie dem Standort mit Signatur ergänzt.


title: Kurztitelkatalog Flandern

text: Der STCV bietet Abbildungen der Titelseiten oder der für den Eintrag im Katalog verwendeten Seiten und links nach Volldigitalisate wenn vorhanden.


title: Kurztitelkatalog Flandern

text: Der Zugriff ist frei. Suchfunktionen werden in den Sprachoberflächen Niederländisch, Französisch und Englisch angeboten. Der Short Title Catalogue Netherlands (STCN) ist der Schwesterkatalog für die Niederlande.


title: Walter Carlein

text: Walter Carlein (* 11. Juli 1922 in Busenbach; † 24. August 2011 in Weisenbach) war ein deutscher Politiker (CDU). Er war von 1969 bis 1990 Oberbürgermeister der Stadt Baden-Baden.


title: Walter Carlein

text: Walter Carlein wurde als Sohn eines Lehrers geboren und absolvierte 1940 das Abitur. Seine Pläne, ein Architekturstudium aufzunehmen, scheiterten am Zweiten Weltkrieg, an dem er als Pilot teilnahm. Später befehligte er als Offizier eine eigene Staffel. Nach Kriegsende begann er ein Studium der Rechts- und Staatswissenschaften, ab 1948 auch der Philosophie. Im gleichen Jahr später wurde er Diplom-Volkswirt. Seine Dissertation verfasste er 1952 zum Thema „Die Besteuerung der Gemeindebetriebe unter besonderer Berücksichtigung der Konzessionsabgaben“. 1954 kam er als Rechtsassessor nach Baden-Baden. Er trat 1957 der CDU bei. Mitte der 1950er Jahre war er Präsident des Fußballvereins SC Baden-Baden. Kommunalpolitisch übernahm Carlein 1957 das Amt des Stadtrechtsrat, dazu übernahm der Jurist die Leitung des Amts für öffentliche Ordnung. Besonders engagierte er sich für Umwelt- und Lärmschutz. Oberbürgermeister Ernst Schlapper kürte Carlein bereits Ende der 1950er Jahre zu seinem Nachfolger, blieb aber noch fast zehn Jahre in seinem Amt. Im Jahr 1968 räumte Schlapper aus Altersgründen seinen Platz im Rathaus. Bei der folgenden Bürgermeisterwahl kam mit Trudpert Müller, dem späteren Regierungspräsidenten des Regierungsbezirks Karlsruhe, Carleins größter Kontrahent aus der eigenen Partei. Nach der erfolgreichen Wahl trat Carlein am 1. Juli 1969 seinen Dienst als neuer Oberbürgermeister an.


title: Walter Carlein

text: Carlein schaffte es noch im Jahr seiner Amtseinführung die Stadtklinik Baden-Baden in den Bedarfsplan des Landes aufzunehmen und erfolgreich den Anschluss Baden-Badens an den Landkreis Rastatt zu verhindern. Außerdem handelte er mit dem Land aus, eine Kürzung der Gelder aus der Spielbankabgabe zurückzunehmen und der Bäder- und Kurverwaltung zukommen zu lassen. Im Jahr 1971 wurde der "Flugplatz Baden-Oos", der bis 1997 existierte, erweitert. Ein Jahr später wurden unter Carlein Ebersteinburg, Steinbach, Neuweier und Varnhalt eingemeindet, drei Jahre später folgte Sandweier. Insgesamt wuchs die Einwohnerzahl der Stadt von vor der Eingemeindung von etwa 38.000 auf fast 49.000 im Jahr 1975. In den Folgejahren forcierte er die Entwicklung der Stadt zu einem Kurort, so setzte er sich für das Zustandekommen eines Stadt- und Kurortentwicklungsplans Anfang der 1970er Jahre ein. Im Jahr 1973 wurde die Lange Straße zu einer Fußgängerzone umfunktioniert. Noch im Jahr seiner ersten Wiederwahl im Jahr 1977 konnte er die Eröffnung der Stadtklinik feiern, zum damaligen Zeitpunkt eines der modernsten Krankenhäuser des Landes. Ein Jahr später folgte die Einweihung der Autobahnkirche und der Beginn der Sanierung des Merkurturms. Am 27. April 1979 wurde die Merkurbergbahn nach dem Umbau wiedereröffnet. Im Jahr 1981 fand zum einen die Landesgartenschau in Baden-Baden statt, zum anderen auch der elfte Olympische Kongress. Im Jahr 1985 folgte Carleins erneute Wiederwahl. Gefolgt wurde sie vom Baubeginn des Michaelstunnels, der 1986 begann und 1989 in Betrieb genommen werden konnte. Im Juni 1990 wurde er in den Ruhestand verabschiedet. In den Jahren nach seinem Ausscheiden hielt er sich aus der Politik weitestgehend raus.


title: Walter Carlein

text: Daneben war Carlein von 1969 bis 1990 Vorsitzender des Verwaltungsrates und des Kreditausschusses der damaligen Stadtsparkasse Baden-Baden. Er war außerdem Mitglied des Hauptausschusses des Deutschen Städtetags (DST) und war Vorsitzender des Ausschusses für mittlere Städte im DST. Seine Frau, mit der er drei Kinder hatte, starb wenige Wochen vor ihm.


title: Walter Carlein

text: Anlässlich seines 60. Geburtstags bekam er 1982 das Bundesverdienstkreuz am Bande verliehen. Im Jahr 1990 wurde er Ehrenbürger der Stadt. Später bekam er auch das Bundesverdienstkreuz 1. Klasse. Außerdem war er Träger des französischen Nationalverdienstordens (Kommandeur) und Ritter des Kreuzes von Konstantinopel.


title: Verfassung der Slowakischen Republik

text: Die Verfassung der Slowakischen Republik (, Nr. 460/1992 Zb.) ist die aktuell geltende Verfassung der Slowakei. Sie wurde am 1. September 1992 durch den Slowakischen Nationalrat durch eine Mehrheit von 114 Abgeordneten gebilligt und am 3. September 1992 im Rittersaal der Burg Bratislava unterzeichnet. Sie trat in Kraft am 1. Oktober 1992, mit einigen Teilen erst am 1. Januar 1993 nach dem Zerfall der Tschechoslowakei. Die Aufsicht der Einhaltung erfolgt durch das Verfassungsgericht der Slowakischen Republik mit Sitz in Košice.


title: Verfassung der Slowakischen Republik

text: Seit dem Inkrafttreten der Verfassung ist sie neunzehnmal durch Verfassungsgesetze geändert worden und einmal durch verfassungsgerichtliche Entscheidung (40/2019 Z. z.). Diese sind (chronologisch): 244/1998 Z. z., 9/1999 Z. z., 90/2001 Z. z., 140/2004 Z. z., 323/2004 Z. z., 463/2005 Z. z., 92/2006 Z. z., 210/2006 Z. z., 100/2010 Z. z., 356/2011 Z. z., 232/2012 Z. z., 161/2014 Z. z., 306/2014 Z. z., 427/2015 Z. z., 44/2017 Z. z., 71/2017 Z. z., 137/2017 Z. z., 40/2019 Z. z., 99/2019 Z. z. und 420/2020 Z. z.


title: Verfassung der Slowakischen Republik

text: Der 1. September ist heute der Nationalfeiertag der Slowakei und trägt den Namen "Deň Ústavy Slovenskej republiky" (deutsch Tag der Verfassung der Slowakischen Republik). Die Verfassung gliedert sich in Präambel und neun Hauptteile. Einige Hauptteile gliedern sich weiter in Abteilungen. Insgesamt gibt es 156 Artikel, die sich weiter in Absätze oder Buchstaben gliedern können.


title: Liste der Baudenkmale in Barsinghausen

text: Die unvollständige Liste der Baudenkmale in Barsinghausen enthält Baudenkmale der Barsinghausener Kernstadt sowie der Ortsteile Bantorf, Barrigsen, Eckerde, Egestorf, Göxe, Großgoltern, Groß Munzel, Hohenbostel, Holtensen, Kirchdorf, Landringhausen, Langreder, Nordgoltern, Ostermunzel, Stemmen, Wichtringhausen und Winninghausen.


title: Liste der Baudenkmale in Barsinghausen

text: Die Geschichte des Klosters Barsinghausen ist auch die Geschichte des Ortes Barsinghausen. Das Kloster wurde im Jahre 1180 gegründet. Im Dreißigjährigen Krieg gab es in Barsinghausen große Zerstörungen.


title: Liste der Baudenkmale in Barsinghausen

text: Die Gruppe „Hofanlage Im Dorfe 29“ hat die ID 31075986.


title: Liste der Baudenkmale in Barsinghausen

text: Die Gruppe „Kirchenanlage Luttringhausen“ hat die ID 31075996.


title: Liste der Baudenkmale in Barsinghausen

text: Die Gruppe „Hofanlage Am Hänken 4“ hat die ID 31076277.


title: Liste der Baudenkmale in Barsinghausen

text: Die Gruppe „Kokemühle“ hat die ID 31076007.


title: Liste der Baudenkmale in Barsinghausen

text: Die Gruppe „Kloster Barsinghausen“ hat die ID 31075955.


title: Liste der Baudenkmale in Barsinghausen

text: Die Gruppe „Altenhofstraße“ hat die ID 31075935.


title: Liste der Baudenkmale in Barsinghausen

text: Das Rittergut Eckerde I befindet sich seit über 500 Jahren ohne Unterbrechung im Besitz der gleichen Familie. Das Gutshaus wurde 1890 nach einem Brand wiederaufgebaut. Die Gruppe „Gutsanlage Alte Dorfstraße 2“ hat die ID 31076019.


title: Liste der Baudenkmale in Barsinghausen

text: Die Gruppe „Friedhof Stoppstraße“ hat die ID 31076051.


title: Liste der Baudenkmale in Barsinghausen

text: Die Gruppe „Gutsanlage Nienstedter Straße“ hat die ID 31076030.


title: Liste der Baudenkmale in Barsinghausen

text: Die Gruppe „Gutsanlage Schmiedestraße 15“ hat die ID 31076041.


title: Liste der Baudenkmale in Barsinghausen

text: Die Gruppe „Friedhof Bahnhofstraße 1“ hat die ID 30958169.


title: Altonaer Bicycle-Club von 1869/80

text: Der Altonaer Bicycle-Club von 1869/80 (ABC) ist der älteste Radfahrverein der Welt. Er wurde am 17. April 1869 unter dem Namen "Eimsbüttler Velozipeden-Reit-Club" in Eimsbüttel, einer ehemaligen Landgemeinde bei Hamburg unter anderen von Harro Feddersen gegründet, der als erster Fahrradhändler Deutschlands gilt. 1881, als Hochräder bereits modern waren, änderte der Verein seinen Namen in "Altonaer Bicycle-Club". Zunächst wurde ausschließlich das öffentliche Fahren und das Kunstradfahren auf dem Velociped (Schnellfuß) betrieben. Später kamen weitere Disziplinen wie Bahnradsport, Straßenrennen, Radpolo und Radball dazu.


title: Altonaer Bicycle-Club von 1869/80

text: Eine besondere Stellung nahmen die Radfahrfeste des ABC ein, die häufig karitativen Zwecken dienten, aber auch gesellschaftliche Großereignisse des Bürgertums waren. Akzente setzte der Verein vor allem im Radwandern. Durch seinen Ersten Vorsitzenden Gregers Nissen, der sich als Radsportfunktionär und deutscher Fahrradpionier unter anderem für Radwege einsetzte, wurde der ABC vorübergehend sehr bekannt.


title: Altonaer Bicycle-Club von 1869/80

text: In den 1980er Jahren ehrte der damalige Bundespräsident Karl Carstens den Verein für seine besonderen Verdienste im Radsport. Da es nicht genug Nachwuchs für das Radballspiel gab, gingen die Mitgliederzahlen seit den 1990er Jahren stark zurück. 2001 wurde der ABC aus dem Hamburger Vereinsregister gelöscht, nachdem er seine Gemeinnützigkeit seit 1996 nicht mehr nachweisen konnte.


title: Altonaer Bicycle-Club von 1869/80

text: Im August 2013 wurde der ABC wiedergegründet. Der ABC von heute setzt sportliche Akzente im Rennradfahren und engagiert sich besonders aktiv für die Sozial- und Kulturgeschichte des Fahrrades und des Radsports.


title: Vespertine

text: Vespertine ist das vierte Studioalbum der isländischen Sängerin Björk. Es erschien am 27. August 2001.


title: Vespertine

text: "Vespertine" (dt. Abendlich) gilt als Björks bis dato introvertiertestes und experimentellstes Album. Die Sängerin selbst bezeichnete es sinngemäß als ihr „Winteralbum“.


title: Vespertine

text: Die musikalische Basis der Platte ist elektronisch, es kommen jedoch in einigen Tracks auch akustische Instrumente zum Einsatz. Eine Celesta wird bei drei Stücken verwendet und von Guy Sigsworth gespielt. Die Harfe auf sechs Titeln wird von Caryl Thomas und Zeena Parkins gespielt.


title: Vespertine

text: Der Titel "Heirloom" basiert auf dem Instrumentalstück "Crabcraft" des Weilheimer Elektrokünstlers Console. Ein Teil des Textes zu "Sun in my Mouth" stammt aus dem Gedicht „Impressions“ von E. E. Cummings.


title: Vespertine

text: Das Album wurde in zahlreichen Studios in New York sowie in London, Spanien und Island aufgenommen.


title: Vespertine

text: Das Nationaltheater Mannheim produzierte basierend auf Vespertine in der Spielzeit 2017/18 zusammen mit dem dänischen Performancekollektiv „Hotel Pro Forma“ eine gleichnamige Oper.


title: Vespertine

text: Bis auf die gekennzeichneten Ausnahmen stammen alle Songs aus der Feder von Björk.Heather Phares von Allmusic vergibt viereinhalb von fünf Sternen. Ihrer Meinung nach klingen die Neuerungen gegenüber den vorangegangenen Werken „vertraut und verzwickt“ („intimate and intricate“), während das Album „eine Hommage an Frieden und Stille“ („singing the praises of peace and quiet“) sei.


title: Vespertine

text: Ryan Schreiber von Pitchfork Media vermisst ebenfalls die Innovationen, welche die Vorgängeralben auszeichneten und vergibt 7,2 Punkte: „While undeniably beautiful, Vespertine fails to give electronic music the forward push it received on Björk's preceding albums.“ („Obwohl unbestreitbar schön, schafft "Vespertine" es nicht, der elektronischen Musik den Vorwärtsschub zu geben, den sie durch Björks Vorgängeralben erhielt.“)


title: Vespertine

text: Das Magazin Wire zählt "Vespertine" zu den 50 besten Musikalben 2001.


title: Burg Alpen

text: Die Burg Alpen ist eine abgegangene Turmhügelburg (Motte) bei der Gemeinde Alpen (Burgstraße) im Kreis Wesel in Nordrhein-Westfalen.


title: Burg Alpen

text: Die Burg, die im Besitz von Heinrich von Alpen war und nach Verpfändungen an die Familie von Neuenahr kam, war eine ehemals von Wassergräben geschützte Motte mit möglicherweise zwei Vorburgen und wurde erstmals um 1200 urkundlich erwähnt. Bewohnt war die Burg noch bis in das 18. Jahrhundert. Durch ein Erdbeben im Jahre 1758 unbewohnbar geworden, zerfielen die Gebäude schließlich. 1809 wurde die Motte abgetragen und das Material zum Bau einer unter französischer Besatzung angelegten Chausseestraße (Burgstraße) verwendet. Diese Straße schneidet den westlichen Teil des Mottenhügels, heute ein Burgstall. Amalia von Neuenahr-Alpen, Gräfin von Limburg wurde 1539 als Tochter des Gumprecht II. von Neuenahr-Alpen auf dem Schloss geboren.


title: Salmgasse 9/11

text: Das Haus Salmgasse 9/11 ist ein Fachwerkhaus in Niederspay, einem Ortsteil der Gemeinde Spay im Landkreis Mayen-Koblenz (Rheinland-Pfalz), das im 16. Jahrhundert errichtet wurde. Das Gebäude ist ein geschütztes Baudenkmal.


title: Salmgasse 9/11

text: Der Winkelbau, heute ausschließlich als Wohnraum genutzt, war ursprünglich ein landwirtschaftliches Anwesen, das Wohnteil, Scheune und Stallungen vereinigte. Der etwas zurückgesetzte Flügel (Salmgasse 9), im Kern vermutlich aus dem 16. Jahrhundert, besitzt zur Rheinseite einen zweigeschossigen Erker mit hohem Zwerchgiebel. Der Giebel besteht aus zwei übereinander stehenden Halbkreisen. Der rechte Teil des Winkelbaus (Salmgasse 11) wurde 1717 angebaut. Der Stockwerksbau besteht aus zwei Fachwerkstöcken, mit leichter Vorkragung des ersten Stockes, und zwei Dachstöcken. Er weist die typischen Zierformen der Bauzeit auf: Halbe Männer an den Eckständern und in der Mitte ein Ganzer Mann.


title: Typinferenz nach Hindley-Milner

text: Hindley-Milner (HM) ist ein Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda-Kalkül. Es wurde erstmals von J. Roger Hindley beschrieben und später von Robin Milner wiederentdeckt. Luis Damas trug eine genaue formale Analyse und einen Beweis der Methode in seiner Doktorarbeit bei, weshalb das Verfahren auch als Damas-Milner bezeichnet wird. Unter den herausragenden Eigenschaften des HM sind Vollständigkeit und die Fähigkeit, den allgemeinsten Typ einer gegebenen Quelle ohne Hinzunahme von Annotationen oder sonstigen Hinweisen bestimmen zu können. HM ist ein effizientes Verfahren, das die Typisierung nahezu in linearer Zeit bzgl. der Größe der Quelle ermitteln kann, womit es praktisch zum Typisieren großer Programme anwendbar ist. HM wird bevorzugt in funktionalen Sprachen wie OCaml/Reason eingesetzt. Es wurde erstmals als Teil des Typsystems der Programmiersprache ML implementiert. Seitdem wurde HM auf verschiedene Weise erweitert, insbesondere durch beschränkte Typen, wie sie in Haskell verwendet werden.


title: Typinferenz nach Hindley-Milner

text: Damas und Milner trennen in der Gliederung ihrer Original-Veröffentlichung zwei sehr verschiedene Aufgaben, wobei die erste darin besteht, zu beschreiben, welche Typen ein Ausdruck haben kann. Die andere ist, einen Algorithmus anzugeben, der tatsächlich einen Typ ermittelt.


title: Typinferenz nach Hindley-Milner

text: Beide Aspekte getrennt voneinander zu betrachten, erlaubt, sich eigens auf die Logik (d. h. Bedeutung) hinter dem Algorithmus konzentrieren und zugleich einen Prüfstein für die Eigenschaften des Verfahrens festlegen zu können. Wie Ausdrücke und Typen zueinander passen, wird mit Hilfe eines Deduktionssystems beschrieben. Wie jedes Beweissystem erlaubt es, auf verschiedenen Wegen zu einem Schluss zu gelangen. Da ein und derselbe Ausdruck begründbar verschiedene Typen haben kann, kann das Deduktionssystem auch zu durchaus unterschiedlichen Schlüssen über einen Ausdruck kommen. Im Gegensatz dazu ist bei der Typinferenz-Methode selbst (Algorithmus W) jeder Ausführungsschritt eindeutig bestimmt. Natürlich können in der Konstruktion des Algorithmus Entscheidungen getroffen worden sein, die so nicht in der Logik vorkommen, und eine genauere Betrachtung und Begründung verlangen, die ohne die obige Differenzierung nicht sichtbar würde.


title: Typinferenz nach Hindley-Milner

text: Logik und Algorithmus teilen sich die Begriffe "Ausdruck" und "Typ", deren Form durch die Syntax präzisiert wird.


title: Typinferenz nach Hindley-Milner

text: Die zu typisierenden Ausdrücke sind die des Lambda-Kalküls, erweitert um einen let-Ausdruck.


title: Typinferenz nach Hindley-Milner

text: Die Form formula_1 stellt die auch oft als formula_2 geschriebene Funktionsanwendung dar, während die Abstraktion formula_3 die anonyme Funktion bzw. das Funktionsliteral meint, die inzwischen in vielen zeitgenössischen Programmiersprachen verfügbar ist, dort vielleicht nur wortreicher etwa als formula_4 ausgeschrieben.


title: Typinferenz nach Hindley-Milner

text: Das Gesamt der Typen (Sorten) teilt sich in zwei Gruppen, die Mono- und Polytypen genannt werden.


title: Typinferenz nach Hindley-Milner

text: Monotypen formula_5, syntaktisch Terme, bezeichnen immer "bestimmte" Typen in dem Sinne, dass sie gleich nur sich selbst und verschieden von allen anderen sind. Charakteristische Vertreter der Monotypen sind Typkonstanten wie formula_6 oder formula_7. Typen können parametrisch sein, wie z. B. formula_8. All diese Typen sind Beispiele von "Anwendungen" von Typfunktionen formula_9, z. B. formula_10 in den vorangegangenen Beispielen, wobei die hochgestellte Ziffer die Zahl der Typparameter angibt. Während die Wahl von formula_9 grundsätzlich beliebig ist, "muss" sie im Zusammenhang des HM wenigstens den bequemerweise infix geschriebenen Funktionstyp formula_12 enthalten. Beispielsweise hat eine Funktion, die ganze Zahlen auf Zeichenketten abbildet, den Typ formula_13.


title: Typinferenz nach Hindley-Milner

text: Vielleicht etwas irritierenderweise sind Typvariablen ebenfalls Monotypen. Eine allein stehende Typvariable formula_14 bezeichnet einen Typ, der genau so konkret ist wie etwa formula_6 oder formula_16 und von beiden verschieden ist. Eine als Monotyp auftretende Typvariable verhält sich gerade so, als wäre sie eine Typkonstante über die man nur eben keine weiteren Informationen besitzt. Entsprechend bildet eine Funktionen mit dem Typ formula_17 nur Werte des Typs formula_14 auf sich selbst ab und kann nur auf Werte dieses Typs angewendet werden und auf keine anderen sonst.


title: Typinferenz nach Hindley-Milner

text: Im Gegensatz dazu kann eine Funktion mit dem Polytyp formula_19 "jeden" Wert auf einen Wert gleichen Typs abbilden. Die identische Funktion ist ein Wert für diesen Typ. Als weiteres Beispiel ist formula_20 der Typ einer Funktion, die beliebige endliche Menge auf ganze Zahlen abbildet. Die Zahl der Elemente der Menge ist ein Wert für diesen Typ. Beachte, dass Quantoren nur auf oberster Ebene auftreten dürfen, d. h. der Typ formula_21 beispielsweise ist durch die Syntax ausgeschlossen. Ferner sind Monotypen eine Teilmenge der Polytypen, so dass Typen insgesamt die allgemeine Form formula_22 haben.


title: Typinferenz nach Hindley-Milner

text: In einem Typ formula_22 ist das Symbol formula_24 der die Typvariablen formula_25 im Monotyp formula_5 bindende Quantor. Die Variablen formula_25 heißen "quantifiziert". Jedes Auftreten einer quantifizierten Variablen in formula_5 heißt "gebunden" und alle ungebundenen Typvariablen heißen "frei". Wie im Lambda-Kalkül ist der Begriff der freien und gebundenen Variablen grundlegend für das Verständnis der Bedeutung der Typen.


title: Typinferenz nach Hindley-Milner

text: Dies ist sicherlich der schwierigste Teil des HM, vielleicht weil Polytypen, die freie Typvariablen enthalten, nicht in Programmiersprachen wie Haskell ausgedrückt werden können. Genauso gibt es keine freien Variablen in Prolog-Klauseln. Insbesondere mit beiden Sprachen erfahrene Entwickler, die somit eigentlich alle Voraussetzungen für den HM kennen, können diesen Punkt leicht übersehen. In Haskell beispielsweise sind alle Typvariablen implizit quantifiziert, z. B. bedeutet der Haskell-Typ formula_29 hier formula_19. Da Typen wie formula_17, obwohl sie durchaus in Haskell auftreten können, dort nicht ausdrückbar sind, können sie leicht mit der quantifizierten Version verwechselt werden.


title: Typinferenz nach Hindley-Milner

text: Welche Funktionen können nun einen Typ wie z. B. formula_32, d. h. eine Mischung von gebundenen und ungebundenen Typvariablen, enthalten und was bedeutet eine freie Typvariable darin?


title: Typinferenz nach Hindley-Milner

text: Betrachte formula_33 in Beispiel 1, mit Typ-Annotationen in eckigen Klammern. Offensichtlich wird der Parameter formula_34 im Körper nicht verwendet, wohl aber die im äußeren Kontext von formula_33 gebundene Variable formula_36. Als Konsequenz akzeptiert formula_33 jeden Wert als Argument, während sie einen Wert liefert, der außerhalb gebunden ist und mithin auch sein Typ.


title: Typinferenz nach Hindley-Milner

text: Im Gegensatz dazu hat formula_38 den Typ formula_39, in dem alle Typvariablen gebunden auftreten. Wertet man z. B. formula_40 aus, erhält man als Ergebnis eine Funktion vom Typ formula_41, was perfekt wiedergibt, dass der Monotyp formula_14 von formula_33 in formula_32 durch den Aufruf verfeinert wurde.


title: Typinferenz nach Hindley-Milner

text: In diesem Beispiel wird die freie Monotypvariable formula_14 im Typ von formula_33 durch die Quantifikation im äußeren Geltungsbereich mit Bedeutung beladen, nämlich im Typ von formula_38. Dies heißt im Zusammenhang dieses Beispiels, dass dieselbe Typvariable formula_14 sowohl gebunden als auch frei in verschiedenen Typen auftritt. Insofern kann eine freie Typvariable ohne Kenntnis des Kontexts nicht besser interpretiert werden als zu konstatieren, dass es sich um einen Monotyp handelt. Anders gesagt ist eine Typung i. Allg. ohne Kenntnis des Kontexts nicht aussagekräftig.


title: Typinferenz nach Hindley-Milner

text: Um die bislang getrennten Teile der Syntax, Ausdrücke und Typen sinnvoll zusammenzubringen, wird also ein Drittes, der Kontext, benötigt. Syntaktisch ist dieser einer Liste von Paaren formula_49, Belegung (s. a. Belegung, Zuordnung, Zuweisung) genannt, die jeder Wertvariablen formula_50 im Kontext einen Typ formula_51 zuordnet. Alle drei Teile zusammen ergeben eine "Typung" der Form formula_52, die aussagt, dass unter der Annahme formula_53 der Ausdruck formula_54 den Typ formula_55 hat.


title: Typinferenz nach Hindley-Milner

text: Da nun die vollständige Syntax zur Verfügung steht, kann schließlich eine sinnvolle Aussage über den Typ von formula_33 in Beispiel 1 gemacht werden, nämlich formula_57. Im Gegensatz zu den vorangehenden Formulierungen ist die Monotypvariable formula_14 nicht länger frei, d. h. bedeutungslos, sondern im Kontext als Typ der Wertvariablen formula_36 gebunden. Offenbar spielt der Umstand, ob eine Typvariable im Kontext frei oder gebunden auftritt, eine bedeutsame Rolle für einen Typ im Rahmen einer Typung, daher wird formula_60 im Kasten an der Seite präzisiert.


title: Typinferenz nach Hindley-Milner

text: Da die Syntax des Ausdrucks einem mit dem Lambda-Kalkül unvertrauten Leser bei weitem zu ausdrucksschwach erscheinen mag und da die Beispiele dieses Vorurteil eher stützen werden, ist vielleicht der Hinweis hilfreich, dass sich HM nicht auf Spielzeugsprachen bezieht. Ein wesentliches Ergebnis der Forschung im Bereich der Berechenbarkeit ist, dass obige Ausdruckssyntax (ohne die let-Klausel) stark genug ist, jede berechenbare Funktion zu beschreiben. Darüber hinaus können alle weiteren Konstruktionen in Programmiersprachen relativ direkt syntaktisch in Ausdrücke des Lambda-Kalküls überführt werden. Darum werden diese einfachen Ausdrücke als Modell für Programmiersprachen verwendet. Ein Verfahren, das gut auf das Lambda-Kalkül anwendbar ist, kann leicht auf alle oder wenigstens viele andere syntaktische Konstruktionen einer speziellen Programmiersprache mittels der eben erwähnten Transformationen übertragen werden.


title: Typinferenz nach Hindley-Milner

text: Zum Beispiel kann die zusätzliche Ausdrucksvariante formula_61 transformiert werden nach formula_62. Sie ist der Ausdruckssyntax im HM nur zur Unterstützung der Generalisierung während der Typinferenz hinzugefügt worden und nicht weil es der Syntax an Berechnungsstärke fehlt. HM behandelt also die Inferenz von Typen in Programmen im Allgemeinen und die verschieden funktionalen Sprachen, die diese Methode verwenden, belegen, wie gut ein Ergebnis, das nur für die Syntax des Lambda-Kalküls formuliert ist, auf syntaktisch komplexe Sprachen erweitert werden kann.


title: Typinferenz nach Hindley-Milner

text: Im Gegensatz zum Eindruck, dass die Ausdrücke zu ausdrucksschwach für praktische Anwendungen seien, sind sie tatsächlich zu ausdrucksstark, um (im Allgemeinen) überhaupt typisiert zu werden. Dies ist eine Konsequenz der Unentscheidbarkeit für inhaltliche Aussagen über Ausdrücke des Lambda-Kalküls. Entsprechend ist die Berechnung der Typung von Programmen i. Allg. ein hoffnungsloses Unterfangen. Abhängig von der Natur des Typsystems wird dieses u. U. entweder nicht terminieren oder anderweitig den Dienst verweigern.


title: Typinferenz nach Hindley-Milner

text: HM gehört zur letzteren Gruppe von Typsystemen. Ein Kollaps des Sortenapparats erscheint hier als eher subtile Situation, in der nur noch ein und derselbe Typ für die interessierenden Ausdrücke ermittelt wird. Dies ist kein Fehler im HM, sondern ein dem Problem der Typisierung selbst innewohnende Eigenschaft, die leicht in jeder stark getypten Sprache erzeugt werden kann. Hierzu kodiert man einen Auswerter (d. h. die universelle Funktion) für die „zu einfachen“ Ausdrücke. Man erhält damit einen einzelnen konkreten Typ, der den universellen Datentyp repräsentiert, wie er in typlosen Sprachen auftritt. Der Sortenapparat der Gastsprache ist dann kollabiert und kann die verschiedenen Typen von Werten nicht mehr unterscheiden, die der Auswertung übergeben oder von dieser erhalten werden. In diesem Zusammenhang ermittelt oder überprüft der Sortenapparat immer noch Typen, aber immer denselben, gerade als wäre das Typsystem gar nicht mehr vorhanden.


title: Typinferenz nach Hindley-Milner

text: Während die Gleichheit von Monotypen rein syntaktisch ist, haben Polytypen eine reichere Beziehung zu anderen Sorten, die durch eine Spezialisierungsrelation formula_63 ausgedrückt wird, wobei formula_64 bedeutet, dass formula_65 spezieller ist als formula_55.


title: Typinferenz nach Hindley-Milner

text: Wird eine polymorphe Funktion auf einen Wert angewendet, dann muss sie ihre Form an den speziellen Typ dieses Wertes anpassen. Während dieser Anpassung ändert sie mithin auch ihren Typ, um zu dem des Parameters zu passen. Wird beispielsweise die identische Funktion mit dem Typ formula_19 auf eine Zahl mit dem Typ formula_6 angewendet, dann können diese zunächst nicht zusammenwirken, da alle Typen verschieden sind und nicht passen. Was in dieser Lage benötigt wird, ist eine Funktion vom Typ formula_69. Hierzu wird die polymorphe Identität im Rahmen der Anwendung in eine monomorphe Version ihrer selbst verwandelt. In Begriffen der Spezialisierung ausgedrückt, kann man dies als formula_70 schreiben.


title: Typinferenz nach Hindley-Milner

text: Nun ist die Formwandlung polymorpher Werte nicht völlig beliebig, sondern vielmehr durch den ursprünglichen Polytyp begrenzt. Dem Vorgang in diesem Beispiel folgend kann man die Spezialisierungsregel so umschreiben, dass ein polymorpher Typ formula_71 durch konsistente Ersetzung jedes Auftretens von formula_14 in formula_5 spezialisiert wird, wonach die Quantifizierung entfällt. Während diese Regel gut für alle Monotypen als Einsetzung funktioniert, schlägt sie fehl, wenn ein Polytyp als Ersetzung auftritt. Versucht man dies z. B. mit formula_74, dann erhält man einen unsyntaktischen Typ formula_75. Aber nicht nur das. Selbst wenn eine geschachtelte Quantifizierung in der Syntax zulässig wäre, würde das Ergebnis dieser Ersetzung die Eigenschaft des ursprünglichen Typs in dem Parameter und Resultat der Funktion denselben Typ haben, nicht mehr erhalten, da nun beide Untertypen unabhängig voneinander geworden sind und jeder eine Spezialisierung mit verschiedenen Typen erlauben würde, so z. B. formula_76, was kaum die richtige Aufgabe für eine identische Funktion wäre.


title: Typinferenz nach Hindley-Milner

text: Die syntaktische Einschränkung der Quantifizierung auf die oberste Ebene verhindert diese unerwünschte Generalisierung während der Spezialisierung. Anstelle von formula_75 muss in diesem Fall der speziellere Typ formula_78 verwendet werden.


title: Typinferenz nach Hindley-Milner

text: Man kann die eben erfolgte Spezialisierung durch eine weitere mit dem Typ formula_79 wieder aufheben. In Bezeichnungen der Relation erhält man zusammenfassend formula_80, was bedeutet, dass syntaktische verschiedene Polytypen gleich bzgl. der Umbenennung ihrer quantifizierten Variablen sind.


title: Typinferenz nach Hindley-Milner

text: Konzentriert man sich nun nur auf die Frage, ob ein Typ spezieller als ein anderer ist, und mehr, wofür ein speziellerer Typ verwendet wird, dann kann man die Spezialisierung wie im nebenstehenden Kasten zusammenfassen. Im Uhrzeigersinn umschrieben, wird ein Typ formula_22 spezialisiert, indem man jede der quantifizierten Variablen formula_25 konsistent durch einen beliebigen Monotyp formula_83 ersetzt, so dass man insgesamt einen Monotyp formula_84 erhält. Abschließend können Typvariablen, die im ursprünglichen Typ nicht frei auftraten, optional quantifiziert werden.


title: Typinferenz nach Hindley-Milner

text: Die Spezialisierungsregel trägt also Sorge, dass keine freie Variable, d. h. Monotyp im ursprünglichen Typ, ungewollt durch einen Quantor gebunden wird. Ursprünglich quantifizierte Variablen können aber beliebig (konsistent) ersetzt werden, auch durch Typen, die neue quantifizierte oder unquantifizierte Variablen einführen.


title: Typinferenz nach Hindley-Milner

text: Beginnend mit dem Polytyp formula_79 kann eine Spezialisierung den Körper entweder durch eine andere quantisierte Variable ersetzen, letztlich eine Umbenennung, oder durch eine Typkonstante (einschließlich des Funktionstyps), die die Parameter haben kann oder nicht, jede gefüllt mit einem Monotyp oder einer quantifizierten Typvariablen. Sobald eine quantifizierte Variable durch eine Typanwendung ersetzt worden ist, kann diese nicht mehr durch eine weitere Spezialisierung wieder aufgehoben werden, wie es bei der Ersetzung durch eine quantifizierte Variable möglich war. Typanwendungen sind also da, um zu bleiben. Nur wenn diese eine weitere quantifizierte Typvariable enthalten, kann die Spezialisierung durch deren weitere Ersetzung fortgeführt werden.


title: Typinferenz nach Hindley-Milner

text: Die Spezialisierung führt also keine weiteren Gleichheiten auf Polytypen außer der bereits bekannten Umbenennung ein. Polytypen sind bis auf die Umbenennung ihrer gebundenen Variablen syntaktisch gleich. Die Gleichheit von Typen ist eine reflexive, antisymmetrische und transitive Relation und die verbleibende Spezialisierung von Polytypen ist transitiv. Damit ist die Relation formula_63 eine Halbordnung.


title: Typinferenz nach Hindley-Milner

text: Die Syntax von HM wird durch die Syntax der Inferenzregeln fortgeführt, die den Körper des formalen Systems bilden, indem sie die Typungen als Urteile verwenden. Die Regeln definieren, aus welchen Voraussetzungen man welche Schlüsse ziehen kann. Zusätzlich zu den Urteilen können einige weiter oben eingeführte Randbedingungen als Prämissen verwendet werden.


title: Typinferenz nach Hindley-Milner

text: Ein Beweis mittels der Regeln ist eine Sequenz von Urteilen, so dass alle Prämissen vor den Schlüssen aufgelistet werden. Siehe die folgenden Beispiele 2,3 für ein mögliches Format der Beweise. Von links nach rechts zeigt jede Zeile den Schluss, den formula_87 der angewandten Regel und die Prämissen, entweder durch Verweis auf eine vorangehende Zeile, wenn die Prämisse ein Urteil ist, oder durch explizite Angabe des Prädikats.


title: Typinferenz nach Hindley-Milner

text: Der seitliche Kasten zeigt die Deduktionsregel des HM-Typsystems. Man kann sie grob in zwei Gruppen einteilen:


title: Typinferenz nach Hindley-Milner

text: Die ersten vier Regeln formula_88, formula_89, formula_90 und formula_91 sind um die Syntax zentriert und geben je eine Regel für jede der Ausdrucksformen an. Ihre Bedeutung ist schon auf den ersten Blick recht offensichtlich, da sie jeden Ausdruck aufteilen, die Beweise der Teilausdrücke heranziehen und die Einzeltypen in den Prämissen zum Typ im Schluss kombinieren.


title: Typinferenz nach Hindley-Milner

text: Die zweite Gruppe wird durch die verbleibenden Regeln formula_92 and formula_93 gebildet, die die Spezialisierung und Generalisierung von Typen behandeln. Während die formula_92 Regel inhaltlich im Abschnitt über die Spezialisierung bereits beschrieben wurde, vervollständigt die Regel formula_93 diese durch die umgekehrter Richtung. Sie erlaubt eine Generalisierung, d. h. eine Quantifizierung einer nicht im Kontext gebundenen Monotypvariablen. Die Notwendigkeit für die Einschränkung formula_96 wurde im Abschnitt über die freien Typvariablen eingeführt.


title: Typinferenz nach Hindley-Milner

text: Die folgenden beiden Beispiele exerzieren das Regelsystem in Aktion.


title: Typinferenz nach Hindley-Milner

text: Beispiel 2: Ein Beweis für formula_97 mit formula_98 kann wie folgt geschrieben werden:


Typinferenz nach Hindley-Milner


title: Typinferenz nach Hindley-Milner

text: Beispiel 3: Um die Generalisierung zu demonstrieren, wird formula_100 gezeigt:


title: Typinferenz nach Hindley-Milner

text: Wie in der Einleitung erwähnt, erlauben die Regeln verschiedene Typen für ein und denselben Ausdruck zu erschließen. Siehe Beispiel 2, Schritte 1,2 und Beispiel 3, Schritte 2,3 für drei verschiedene Typungen desselben Ausdrucks. Offenbar sind die verschiedenen Ergebnisse nicht völlig unabhängig, sondern durch die Typordnung verbunden. Es ist eine wesentliche Eigenschaft des Regelsystems und der Typordnung, dass, wenn mehr als ein Typ für einen Ausdruck erschlossen werden kann, sich unter diesen Typen (modulo Gleichheit) ein eindeutig bestimmter, allgemeinster Typ in dem Sinne befindet, dass alle anderen Spezialisierungen von ihm sind. Während ein Regelsystem es zulassen muss, spezialisierte Typen herzuleiten, sollte ein Typinfernzalgorithmus den allgemeinsten oder Haupttyp als Ergebnis liefern.


title: Typinferenz nach Hindley-Milner

text: Nicht unmittelbar ersichtlich kodiert die Regelmenge eine Vorschrift, unter welchen Umständen ein Typ generalisiert werden darf und wann nicht. Dies geschieht durch eine leichte Variation im Gebrauch von Mono- und Polytypen in den Regeln formula_90 und formula_91.


title: Typinferenz nach Hindley-Milner

text: In der Regel formula_90 wird die Wertvariable des Parameters der Funktion formula_105 dem Kontext als ein monomorpher Typ durch die Prämisse formula_106 hinzugefügt, während in der Regel formula_91 die Variable die Umgebung in polymorpher Form formula_108 betritt. Obwohl in beiden Fällen die Anwesenheit von x im Kontext den Gebrauch der Generalisierungsregel für jede Monotypvariable in der Zuordnung verhindert, erzwingt diese Vorschrift, dass ein Parameter x in einem formula_109-Ausdruck monomorph bleibt, während in einem let-Ausdruck die Typvariablen bereits polymorph eingeführt werden können, was Spezialisierungen ermöglicht.


title: Typinferenz nach Hindley-Milner

text: Als Konsequenz dieses Reglements kann "kein" Typ für formula_110 erschlossen werden, da sich der Parameter formula_111 in monomorpher Position befindet, während formula_112 den Typ formula_113 darum ergibt, weil formula_111 in einem let-Ausdruck eingeführt und darum polymorph behandelt wird. Beachte, dass dieses Verhalten sich in starkem Gegensatz zu üblichen Definition formula_115 befindet, was der Grund dafür ist, die let-Variante überhaupt in die Syntax des Ausdrucks aufzunehmen. Diese Unterscheidung wird let-Polymorphismus genannt und ist dem HM eigentümlich.


title: Typinferenz nach Hindley-Milner

text: Da nun das Deduktionssystem des HMs zur Hand ist, könnte man einen Algorithmus vorstellen diesen gegen die Regel überprüfen. Alternativ kann man ihn möglicherweise durch einen genaueren Blick darauf, wie die Regeln zusammenwirken und die Beweise geformt sind, auch herleiten. Dieser Weg wird nun im verbleibenden Rest dieses Artikels durch eine Fokussierung auf die möglichen Entscheidungen während des Beweisens einer Typung beschritten.


title: Typinferenz nach Hindley-Milner

text: Isoliert man in einem Beweise die Stellen an denen überhaupt keine Auswahl möglich ist, dann erhält man die um die Ausdruckssyntax zentrierte erste Gruppe von Regeln, die gleichsam das Gerüst des Beweises bestimmt, da jede der Schlussregeln genau einer Regel der Syntax entspricht, während zwischen den Prämissen und Schlüssen dieser festen Regelanwendungen verbindende Ketten von formula_92 and formula_93 auftreten können. Alle Beweise müssen die so skizzierte Form haben.


title: Typinferenz nach Hindley-Milner

text: Da die einzige Möglichkeit in einem Beweis im Hinblick auf die Regelauswahl diese formula_92 und formula_93 Ketten sind, legt die Gestalt der Beweise die Frage nahe, ob man präzisieren kann wo diese Ketten benötigt werden. Dies ist in der Tat möglich und führt auf eine Variante des Regelsystems "ohne" diese beiden Regeln.


title: Typinferenz nach Hindley-Milner

text: Eine zeitgenössische Behandlung des HM verwendet ein rein syntaxgesteuertes Regelsystem nach Clement als Zwischenschritt. In diesem System ist die Spezialisierung direkt hinter der ursprünglichen formula_88 Regel platziert und nun in diese eingemischt, während die Generalisierung mit in die formula_91 Regel aufgenommen wurde. Hierbei ist die Generalisierung zudem durch die Einführung der Funktion formula_122 so bestimmt, dass sie immer den allgemeinsten Typ erzeugt, indem sie alle nicht in formula_53 gebundenen Monotypvariablen quantifiziert.


title: Typinferenz nach Hindley-Milner

text: Um zu überprüfen, dass dieses neue Regelsystem formula_124 zum Original formula_125 äquivalent ist, hat man zu zeigen, dass formula_126, was in zwei Teilbeweise zerfällt:


title: Typinferenz nach Hindley-Milner

text: Während man die Korrektheit durch Zerlegung der Regeln formula_91 and formula_88 von formula_124 zu Beweisen in formula_125 sehen kann, ist ebenso erkennbar, dass formula_124 unvollständig ist, da man z. B. nicht zeigen kann, dass formula_134gilt, sondern bestenfalls nur formula_135. Allerdings ist eine nur leicht schwächere Version der Vollständigkeit nachweisbar, nämlich:


title: Typinferenz nach Hindley-Milner

text: was besagt, dass man den Haupttyp für einen Ausdruck in formula_124 herleiten kann, wenn man erlaubt, den Beweis am Ende zu generalisieren.