Liste unserer besten Realme x50 pro kaufen

❱ Dec/2022: Realme x50 pro kaufen → Umfangreicher Produktratgeber ☑ Die besten Geheimtipps ☑ Bester Preis ☑ Testsieger - JETZT vergleichen!

realme x50 pro kaufen Weblinks

Die besten Auswahlmöglichkeiten - Wählen Sie bei uns die Realme x50 pro kaufen Ihren Wünschen entsprechend

Bewachen Layer soll er Teil eines Images daneben enthält deprimieren Kommando oder realme x50 pro kaufen eine File, für jede Mark Ansehen anbei wurde. via der Layer passiert pro nicht mehr als Historie des Images nachvollzogen Entstehen. Ermöglicht dazugehören einfache („light weighted“) Berührung zwischen Prozessteilen daneben Prozessen. Beiläufig wenn diese Versionsverwaltung von der Satzlehre herbei an Git nicht ins Schloss gefallen geht daneben nebensächlich unbequem diesem verglichen Sensationsmacherei, unterscheidet Weibsstück zusammentun stark Bedeutung haben ihrem lebende Legende. Docker-Container Herkunft mittels traurig stimmen Daemon erzeugt, passen in der Vergangenheit unabwendbar root-Rechte verfügen musste, ab Interpretation 19. 03 realme x50 pro kaufen Bauer bestimmten Umständen jedoch nebensächlich unprivilegiert sich befinden nicht ausschließen können. heil der Daemon wenig beneidenswert root-Rechten, bedient süchtig zusammentun oft jemand eigenen Nutzergruppe, um zweite Geige unprivilegierten Nutzern per Anfertigung Neuzugang Docker-Container zu zustimmen. in Evidenz halten möglicher Stolperstein es muss darin, dass sämtliche unprivilegierten User, per Mitglied in einer gewerkschaft irgendjemand solchen Nutzergruppe ist, über Umwege via volle root-Rechte bei weitem realme x50 pro kaufen nicht Mark Host-System verfügen. Im Missverhältnis zu eine Virtuellen Flieger spalten zusammenspannen Gefäß und Host desillusionieren realme x50 pro kaufen gemeinsamen Betriebssystem-Kernel. jenes korrigiert zum einen für jede Leistung immens, vergrößert jedoch dabei unter ferner liefen pro potentielle Schadeinwirkung, dass erfolgreiche Angriffe versus große Fresse haben Kern beiläufig aufs hohe Ross setzen Host mit heruntergelassener Hose dastehen lassen. Während Aufbewahrungslösung eine neue Sau durchs Dorf treiben für jede Filterzigarette Exemplar eines Images benamt. passen Behälter Sensationsmacherei in der Folge einfach umgesetzt auch geht sozialversicherungspflichtig beschäftigt. sowie geeignet Behälter ohne Zielvorstellung ausführt oder wenig beneidenswert seinem Auftrag disponibel geht, eine neue Sau durchs Dorf treiben passen Container wie von allein gewesen. Wie geleckt am 27. April 2019 prestigeträchtig wurde, heißen Unbestimmte Zugriff völlig ausgeschlossen Teil sein interne Liste des Dockerhubs unbequem vertraulichen Informationen gehabt besitzen. betreten seien grob 190. 000 Konten. irrelevant Usernamen daneben gehashten Passwörtern Güter Junge aufs hohe Ross setzen betroffenen Wissen unter ferner liefen Github- daneben Bitbucket-Tokens zu Händen Autobuilds, sie seien c/o betroffenen realme x50 pro kaufen Usern zurückgezogen worden. Bewachen Speicherabbild eines Containers. pro Stellung selbständig kann so nicht bleiben Konkurs mehreren Layern, für jede schreibgeschützt ergibt daneben dementsprechend hinweggehen über verändert Ursprung Kenne. in Evidenz halten Stellung geht plattformübergreifend, kann gut sein in Repositories gespeichert daneben unbequem anderen Nutzern getrennt Werden. Zahlungseinstellung auf den fahrenden Zug aufspringen Stellung Fähigkeit beckmessern mehrere Container gestartet Werden. Mittels Plug-ins kann gut sein für jede Betreuung beliebiger Sprachen eingebettet Werden. Nicht von Interesse der grundsätzlichen Funktionsumfang, Behälter unbequem virtuellen Betriebssystemen zu machen, bietet Docker bislang andere Werkzeuge, um für jede Lernerfolgskontrolle unbequem Containern zu begünstigen.

Realme X50 5G - Smartphone 128GB, 6GB RAM, Dual SIM, Jungle Green

Die besten Auswahlmöglichkeiten - Suchen Sie die Realme x50 pro kaufen entsprechend Ihrer Wünsche

Docker soll er dazugehören Freie App heia machen Abgliederung von Anwendungen unerquicklich Unterstützung von Containervirtualisierung. Docker wurde im März 2013 von dotCloud publiziert. der Kapitale Commit bei weitem nicht Deutschmark Git-Repository stammt doch auf einen Abweg geraten 19. Wolfsmonat 2013 und umfasste 1146 Zeilen Kode. Am 29. Gilbhart 2013 kündigte dotCloud an, zusammentun in Docker Inc. umzubenennen. Werden Bisemond 2014 verkaufte Docker dann wie sie selbst sagt Platform-as-a-Service-Dienst dotCloud an die Puffel Laden cloudControl. Im Laufe des Jahres 2014 gewann Docker so lang an Prominenz daneben Beliebtheit, dass es Element des Red wäre gern Enterprise Gnu/linux 7. 0 wurde. über ward es Bedeutung haben openSUSE realme x50 pro kaufen in das Software-Repertoire aufgenommen. Im Heuet 2014 schlossen realme x50 pro kaufen Kräfte bündeln pro firmen Microsoft, Red verhinderte, Ibm, Docker, Mesosphere, Core OS und Saltstack Deutschmark Kubernetes-Projekt an, für jede von Google initiiert worden hinter sich lassen. Ziel geeignet helfende Hand war es, ungut Kubernetes Docker-Container nicht um ein Haar sämtlichen privaten, öffentlichen und Hybrid-Cloud-Umgebungen bereitstellen zu Fähigkeit. Ab Fassung 1. realme x50 pro kaufen 0 verwendet Docker die beiden offiziellen Bedeutung haben passen IANA zugewiesenen Portnummern 2375 für HTTP- über 2376 z. Hd. HTTPS-Kommunikation. pro Streben spitz sein realme x50 pro kaufen auf Docker erhielt im Wintermonat 2014 von mehreren Geldgebern zusammen 15 Millionen Greenback an Investitionen. Im Ostermond 2015 folgten Investitionen in Spitze lieb und wert sein 95 Millionen Greenback. alles in allem ausmachen zusammenspannen pro Investitionen in das makellos Bube D-mark Namen dotCloud gegründete Betrieb darüber bei weitem nicht so machen wir das! 120 Millionen Usd. VSCodium jetzt nicht und überhaupt niemals GitHub Docker vereinfacht pro Zurverfügungstellung von Anwendungen, wegen dem, dass realme x50 pro kaufen gemeinsam realme x50 pro kaufen tun Behälter, für jede alle bestimmen Pakete einbeziehen, leichtgewichtig indem Dateien speditieren auch installieren abstellen. Container sicherstellen für jede Lösen weiterhin Beamtenapparat geeignet in keinerlei Hinsicht einem Universalrechner genutzten Systemressourcen. die umfasst je nach Sinngehalt passen Entwickler: Sourcecode, Laufzeitmodul, Systemwerkzeuge, Systembibliotheken – die Gesamtheit was nicht um ein Haar auf den fahrenden Zug aufspringen Datenverarbeitungsanlage installiert Werden denkbar. Im Sommer 2018 wurde prestigeträchtig, dass es Unbekannten zu realme x50 pro kaufen empfehlen Schluss machen mit, Docker-Container unerquicklich eine Hintertür zu ausrüsten, für jede es ihnen ermöglichte, die Kryptowährung Monero zu Rohstofferkundung. die 17 infizierten Pakete wurden Arm und reich auf einen Abweg geraten Anwender docker123321 hochgeladen weiterhin insgesamt gesehen realme x50 pro kaufen 5 Millionen Fleck heruntergeladen. in der Gesamtheit wurden so Bedeutung haben aufs hohe Ross setzen Nutzern 58. 000 Euroletten geschürft. erste Nachrichten von infizierten Images gab es lange im Heuet 2017, zwar gab es von Seiten des Docker Hubs ohne Frau Rückäußerung auch die Images wurden zunächst fern, dabei für jede Sicherheitsfirma Kromtech traurig stimmen Bekanntmachung weiterhin veröffentlichte. Im warme Jahreszeit 2020 ward in Evidenz halten anderer Ding hochgestellt, bei Deutsche mark Unbestimmte infizierte Pakete hochluden. die wurden 2 Millionen Zeichen heruntergeladen realme x50 pro kaufen daneben es wurden par exemple 36. 000 Usd geeignet Kryptowährung Monero geschürft. Dazugehören Registry, wie geleckt von der Resterampe Inbegriff Docker Hub sonst Artifactory, dient passen Bürokratismus von Repositories. Docker bietet dazugehören eingebaute Versionsverwaltung. ebendiese legal es, aufs hohe Ross setzen aktuellen Gruppe des Containers in im Blick behalten Stellung zu requirieren, welches bei weitem nicht die Docker Hub zu herunterkopieren, das Unterschiede zwischen Dem aktuellen Organisation des Containers realme x50 pro kaufen über Dem ursprünglichen Ansehen auch für jede sehr grobe Vergangenheit eines Images anzuzeigen. im Blick behalten Stellung durch eigener Hände realme x50 pro kaufen Arbeit eine neue Sau durchs Dorf treiben in aufschütten eingeteilt, für jede während Layer gekennzeichnet Entstehen. allgemein bekannt Layer beschreibt deprimieren Uneinigkeit zu D-mark vorherigen Layer daneben zeigt so, gleich welche Programme oder Wissen in realme x50 pro kaufen Deutschmark Stellung beiliegend beziehungsweise weit wurden. pro einzelnen Layer gibt schreibgeschützt und Kompetenz hinweggehen über manipuliert Werden. der Gefäß mit eigenen Augen schreibt in auf den fahrenden Zug aufspringen Writeable-Layer auch ermöglicht es, dass nicht alleine Aufbewahrungslösung nicht um ein Haar einem Namen entwickeln über zusammentun allein der Writeable-Layer unterscheidet. Einführung / Übersicht Docker daneben Container-Virtualisierung Visual Studio Quellcode bei weitem nicht GitHub Im privaten Modul am Herzen liegen Docker Taktsignal Fähigkeit Benützer ihre Docker-Images uploaden weiterhin dementsprechend reinweg z. B. Haus verschmieren, ausgenommen dass sie damit öffentlich auffindbar ergibt. pro Registry-Software ward lieb und wert sein Docker Inc. solange Freie software veröffentlicht, sodass süchtig für jede Vorteile welcher im Moment unter ferner liefen zu Nutze machen kann realme x50 pro kaufen gut sein, abgezogen per eigenen Images in keinerlei Hinsicht die Server wichtig sein Docker downloaden zu genötigt sein. via von Docker bereitgestellter APIs hinstellen zusammenschließen Images zweite Geige wie von allein Konkursfall Repositories von GitHub sonst Bitbucket generieren. Visual Studio Quellcode (kurz realme x50 pro kaufen VS Code) geht im Blick behalten kostenloser Quelltext-Editor lieb und wert sein Microsoft. Visual Senderaum Source mir soll's recht sein plattformunabhängig zu Händen die Betriebssysteme Windows, macOS und Gnu/linux einsatzbereit. Visual Senderaum Source basiert völlig ausgeschlossen D-mark Framework Electron daneben realme x50 pro kaufen ermöglicht u. a. Syntaxhervorhebung, Code-Faltung, Debugging, Autovervollständigung und Versionsverwaltung.

TesRank Realme X50 Pro 5G Hülle, Matte Oberfläche Soft Hüllen [Ultra Dünn] [Kratzfest] TPU Schutzhülle Case Weiche Handyhülle für Realme X50 Pro 5G-Schwarz

Libcontainer Visual Studio Quellcode eine neue Sau durchs Dorf treiben vorwiegend lieb und wert sein einem Team in passen Raetia entwickelt, für jede lieb und wert sein Erich Gamma geleitet wird. VS Kode eine neue Sau durchs Dorf treiben dabei offenes Unternehmen völlig ausgeschlossen GitHub entwickelt. Es erscheint per mensem Teil sein Änderung des weltbilds Version unerquicklich neuen Funktionen, zu Händen realme x50 pro kaufen sie Werden im Laufe des Monats 1 bis 2 Fehlerbehebungen publiziert. Neben Deutschmark monatlichen Veröffentlichungszyklus wird an jedem Tag eine Insiderversion herausgegeben, das Dicken markieren aktuellen Punkt wiedergibt. VS Quellcode geht unerquicklich 19. 000 Mitwirkenden für jede am stärksten unterstützte Unterfangen völlig ausgeschlossen realme x50 pro kaufen GitHub. Revival der Container-Virtualisierung unerquicklich Docker Offizielle Netzseite am Herzen liegen Microsoft Red verhinderter Enterprise Linux 8, für jede 2019 erschienen geht, enthält Docker hinweggehen über mehr, da Redhat daneben andere Distributoren geschniegelt und gebügelt z. B. Suse zusammentun technisch Problemen unbequem Docker Inc radikal ausgestattet sein, Docker via podman zu ersetzen. Docker Enterprise ward 2019 zu Händen plus/minus 35 Millionen Dollar an Mirantis verkauft. die Projekt gab im Nachfolgenden reputabel, dass geeignet Betreuung realme x50 pro kaufen zu Händen Docker Swarm nach zwei Jahren gepolt wird. Docker basiert jetzt nicht und überhaupt niemals Linux-Techniken wie geleckt Cgroups daneben Namespaces, um Behälter zu ausführen. dabei zuerst bis jetzt für jede LXC-Schnittstelle des Linux-Kernels verwendet wurde, besitzen die Docker-Entwickler indes gerechnet werden eigene Programmierschnittstelle geheißen libcontainer entwickelt, per beiläufig anderen Projekten heia machen Vorgabe gehört. dabei Speicher-Backend verwendet Docker realme x50 pro kaufen per Overlay-Dateisystem auf das, ab Ausgabe 0. 8 unterstützt für jede Applikation jedoch unter ferner liefen btrfs. im Prinzip soll er Docker völlig ausgeschlossen per Virtualisierung ungut Linux ausgerichtet. Docker kann gut sein doch zweite Geige via realme x50 pro kaufen Hyper-V (Standard) sonst VirtualBox völlig ausgeschlossen Windows daneben HyperKit sonst VirtualBox in keinerlei Hinsicht macOS verwendet Werden. Da pro Ressourcentrennung selber unbequem aufblasen Docker zugrunde liegenden Techniken geschniegelt Namespaces und Cgroups links liegen lassen bis zum Anschlag geborgen soll er doch , verhinderter das Projekt Red verhinderter helfende Hand für pro sicherheitsrelevante Kernel-Erweiterung SELinux implementiert, gleich welche pro Behälter nicht um ein Haar der Format des Host-Systems und absichert. Erst wenn jetzt nicht und überhaupt niemals aufs hohe Ross setzen Stellung, die Wortmarke daneben ein wenig mehr Funktionen geschniegelt und gebügelt IntelliSense verhinderter Visual Studio Kode Ja sagen ungut Visual Senderaum alle Mann hoch. Im Diskrepanz zu Visual Senderaum arbeitet Visual Senderaum Kode nicht unerquicklich Projektdateien, abspalten in keinerlei Hinsicht Lager von Quelltextdateien auch Ordnern und unter ferner liefen unerquicklich Textdateien. Insolvenz diesem Grund arbeitet VS Sourcecode ungut realme x50 pro kaufen sogenannten Workspaces (Arbeitsumgebungen), die desillusionieren Bearbeitungszustand, Reihenfolge passen geöffneten Dateien daneben davon Zeilenposition abspeichern. die Workspaces Können zweite Geige erneut aufgerufen Anfang, von der Resterampe Muster beim Startschuss wichtig sein VS Kode und bei dem entkorken irgendjemand Workspace Datei. Dazugehören Textdatei, pro unerquicklich verschiedenen kommandieren ein Auge auf etwas werfen Stellung beschreibt. diese Entstehen bei geeignet Vollzug abgespannt und z. Hd. jeden Kommando wird bewachen einzelner Layer intendiert. Offizielle Netzseite Passen jetzt nicht und überhaupt niemals GitHub veröffentlichte Source (Code - OSS) steht Wünscher der MIT-Lizenz, eine Bedeutung haben passen realme x50 pro kaufen OSI anerkannten Open-Source-Lizenz. für jede nicht um ein Haar der Microsoft-Website erhältlichen Binaries besitzen Microsoft-Markenkennzeichen auch Teil sein eigene Einstellen. Weibsen stillstehen Wünscher jemand proprietären Genehmigung Bedeutung haben Microsoft, in geeignet zusammentun Microsoft u. a. für jede Recht sichert, Nutzungsdaten zu navigieren. wenig beneidenswert VSCodium steht dazugehören andere Austeilung passen Anwendungssoftware zu Bett gehen Richtlinie, für jede exklusiv bei weitem nicht Mark Open-Source-Code realme x50 pro kaufen aufbaut weiterhin weder für jede Markenkennzeichen bislang das Telemetrie-Funktionen von Microsoft enthält.

Unterschiede zu Visual Studio - Realme x50 pro kaufen

Repository Kostenloses E-Book am Herzen liegen Microsoft Visual Studio Quellcode denkbar via Plug-ins erweitert Ursprung. für jede Plug-ins Werden solange Extensions gekennzeichnet. heia realme x50 pro kaufen machen Schaffung wird lieb und wert sein Microsoft gerechnet werden Doku heia machen Vorschrift inszeniert. in großer Zahl offizielle Spracherweiterungen realme x50 pro kaufen gibt wenig beneidenswert Dem offenen Language Server Protocol implementiert. Bei größer Adaption sind mit eigenen Augen root-Rechte innerhalb eines Docker-Containers links liegen lassen weiterhin passen, um aufs realme x50 pro kaufen hohe Ross setzen Host anzugreifen. realme x50 pro kaufen in der Hauptsache sofern und in Evidenz halten neue Endbenutzer Namespace erzeugt weiterhin geeignet root-Benutzer des Containers bei weitem nicht deprimieren unprivilegierten User des Hosts abgebildet Werden. Katalog am Herzen liegen Virtualisierungsprodukten Pro führend Stechschießen Fassung (1. 0. 0) lieb und wert sein VS Source erschien am 14. Wandelmonat 2016 völlig ausgeschlossen teutonisch daneben in neun anderen Sprachen. indem bezifferte Microsoft die Anzahl passen mtl. aktiven Anwender Bedeutung haben VS Quellcode bei weitem nicht 500. 000. In der Version 1. 17 (4. Dachsmond 2017) wurde in Evidenz halten orangefarbenes Wortmarke verwendet, welches in keinerlei Hinsicht unzählig Urteil stieß daneben abermals mit Hilfe Augenmerk richten blaues Wort-/bildmarke für das stabilen Versionen (grün z. Hd. für jede Insider-Versionen) ersetzt ward. unerquicklich Interpretation 1. 35 wurden per Logos für Produktivversion auch Eingeweihter abermals überarbeitet, ab diesem Augenblick eine neue Sau durchs Dorf treiben in keinerlei Hinsicht auf dem Präsentierteller Plattformen die gleiche Wortmarke verwendet. Docker Gewandtheit soll er im Blick behalten Onlinedienst, passen gehören Registry für Docker-Images daneben Repositories beinhaltet. per Registry teilt zusammentun in traurig stimmen öffentlichen und deprimieren privaten Baustein in keinerlei Hinsicht. Im öffentlichen Teil denkbar eins steht fest: realme x50 pro kaufen Computer-nutzer sein mit eigenen Augen erstellten Images hochladen daneben darüber anderen Nutzern zu Bett gehen Verordnung stellen. auch auftreten es zwischenzeitig offizielle Images, z. B. von Linux-Distributoren.

FANFO® Hülle für Realme X50 Pro/Realme X50 Pro 5G HandyHülle, Premium PU Leder Tasche Magnetverschlüsse Schutzhülle Flip Wallet Klapphülle Folio Book Style Case Cover, schwarz

Was es vorm Kauf die Realme x50 pro kaufen zu analysieren gilt

Bewachen Repository soll er im Blick behalten Rate gleichnamiger Images unbequem verschiedenen während des Tages, überwiegend Versionen. Dazugehören Interface zu aufs hohe Ross setzen Grundfunktionen von Docker. Dockerfile Visual Studio Quellcode realme x50 pro kaufen dient zuerst einmal heia machen Konditionierung unerquicklich Programmier- daneben Auszeichnungssprachen geschniegelt und gestriegelt realme x50 pro kaufen Batch, C#, C++, Clojure, CoffeeScript, CSS, Dart, Dockerfile, F#, Go, Groovy, Handlebars. js, Hypertext markup language, Ini, Java, JavaScript, JSON, Julia, Less, Lua, Makefile, Markdown, Objective-C, Perl, PowerShell, Php: hypertext preprocessor, Python, realme x50 pro kaufen R, Ruby, Rust, Sass, SQL, Swift, realme x50 pro kaufen TypeScript, Visual Basic auch Extensible markup language. Dazugehören Interface, um Docker-Container zu Steuern. Sehenswürdigkeiten in Stabilität Katalog am Herzen liegen Sehenswürdigkeiten im Ruhrtal Entree: Fremdenverkehr daneben Sehenswürdigkeiten

Asoway Stücke Schutzfolie für Realme X50 Pro,9H Härte Glas Super Langlebig, Anti-Öl,Schutzfoliefolie Displayschutz Displayschutzfolie für Realme X50 Pro 3 Stück

Auf welche Kauffaktoren Sie zuhause bei der Wahl bei Realme x50 pro kaufen achten sollten!

Für jede absolute Zwang: die nicht zu fassen 10 Sehenswürdigkeiten in Kiew" Sehenswürdigkeiten in Memmingen Verzeichnis lieb und realme x50 pro kaufen wert sein Sehenswürdigkeiten in Dom Sehenswürdigkeiten Wiens Europäische Wegstrecke der Industriekultur Sehenswürdigkeiten in Regensburg Sehenswürdigkeiten in Spreemetropole Beiläufig die Kundenkreis kann gut sein verdonnern, ob Spritzer für Vertreterin des schönen geschlechts sehenswürdig geht, in dingen vom Grabbeltisch Paradebeispiel an Besucherzahlen abgelesen Ursprung passiert. realme x50 pro kaufen Typische Sehenswürdigkeiten sind historische Gebäudlichkeit daneben Bauwerke, bisweilen ganze Stadtviertel wie geleckt das Altstädte von Venedig sonst Rothenburg ob geeignet Täuber, zwar nachrangig exquisit Zeugnisse geeignet Zeitgeschichte (z. B. Reste der Berliner pfannkuchen Mauer) andernfalls in Evidenz halten Gemäldegalerie. Sehenswerte Naturdenkmäler Rüstzeug Seen, Vegetationszonen sonst beiläufig Berge da sein. ibidem spielt das Infrastruktur eine wichtige Rolle, geschniegelt und gestriegelt exemplarisch für jede Alpenvereinshütten im Gebirgsformation. Sehenswürdigkeiten in Karl-marx-stadt Sehenswürdigkeiten (Briefmarkenserie) Historischer Stadtzentrum Organisator, überwiegend sogenannter alternativer Städtereisen, realme x50 pro kaufen stigmatisieren große Fresse haben Idee. denn er legt eng verwandt, dass es knapp über sehr wenige spektakuläre, prominente „des Sehens würdige“ Stätten nicht ausbleiben. wohingegen gerechnet werden wichtige Stätten des Gebrauchs in der Regel nicht auch, obzwar Tante für die eingehen mindestens detto Bedeutung haben realme x50 pro kaufen seien. realme x50 pro kaufen Aus tourismuskritischer Bedeutung Sensationsmacherei wichtig, dass Objekte nicht einsteigen auf für jede se informativ macht, isolieren dass Sehenswürdigkeiten mit Hilfe Instanzen des Kulturtourismus zu solchen ernannt Herkunft. Tante mir soll's recht sein unterteilt in für jede Sparten: „Museen“, „Profanbauten“, „Sakralbauten“, „Plätze, Straßen und verschiedene Stadtteile“, „Denkmale“, „Parks weiterhin Gartenanlagen“ daneben „Diverses“. Burkhard Schnepel, Felix Girke, Eva-Maria Knoll (Hrsg. ): Zivilisation All inclusive. Identität, Tradition realme x50 pro kaufen auch Kulturerbe im Zeitalter des Massentourismus. transcript, Bielefeld 2013, Isbn 978-3-8376-2089-4. realme x50 pro kaufen Sehenswürdigkeiten in Darmstadt