https://www.ovgu.de/search

Publikationen

2016

Anderes Material
Stess, Marek;  Schildwachter, Christian;  Mersheeva, Vera;  Ortmeier, Frank;  Wagner, Bernardo 

Multi-sensor tracking with SPRT in an autonomous vehicle
In: 2016 IEEE Intelligent Vehicles Symposium (IV): 19-22 June 2016, [Piscataway, NJ], IEEE, http://dx.doi.org/10.1109/IVS.2016.7535394 ; [Kongress: 2016 IEEE Intelligent Vehicles Symposium (IV), 19. - 22. June 2016, Gothenburg, Sweden]

Begutachteter Zeitschriftenartikel
Filax, Marco;  Gonschorek, Tim;  Hebecker, Tanja;  Lipaczewski, Michael;  Madalinski, Agnes;  Ortmeier, Frank;  Fietze, Mario;  Schumacher, Rolf 

Bringing formal methods on the rail - Modellbasierte Systemanalyse in der Sicherheitsnachweisführung
In: Der Eisenbahningenieur : EI ; internationale Fachzeitschrift für Schienenverkehr & Technik. - Hamburg : DVV Media Group, S. 24-27, 2016

Buchbeitrag
Filax, Marco;  Gonschorek, Tim;  Ortmeier, Frank 

Correct formalization of requirement specifications - a V-model for building formal models
In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. - Cham : Springer International Publishing, S. 106-122 - (Lecture Notes in Computer Science; 9707)

Publikationslink   

Dissertation
Trojahn, Matthias;  Ortmeier, Frank [GutachterIn] 

Sichere Multi-Faktor-Authentifizierung an Smartphones mithilfe des Tippverhaltens
In: Wiesbaden: Springer, 2016; XXI, 228 Seiten: Illustrationen; 21 cm - (AutoUni-Schriftenreihe; Band 85), ISBN 978-3-658-14048-9 ; [Literaturverzeichnis: Seite [205]-228]

2015

Artikel in Kongressband
Tim Gonschorek,;  Frank Ortmeier, 

Slice or Unfold - Experiments on Checking Synchronous Models with Backwards Slicing
In: 2015

Begutachteter Zeitschriftenartikel
Alatartsev, Sergey;  Stellmacher, Sebastian;  Ortmeier, Frank 

Robotic task sequencing problem - a survey
In: Journal of intelligent and robotic systems : theory and applications, incorporating mechatronic systems engineering. - Dordrecht [u.a.] : Springer Science + Business Media B.V, Bd. 80.2015, 2, S. 279-298

Publikationslink   

Lipaczewski, Michael;  Ortmeier, Frank;  Prosvirnova, T.;  Rauzy, A.;  Struck, Simon 

Comparison of modeling formalisms for Safety Analyses - SAML and AltaRica
In: Reliability engineering & system safety. - London [u.a.] : Elsevier Science, Bd. 140.2015, S. 191-199

Publikationslink   

Michael Lipaczewski,;  Tatiana Prosvirnova,;  Frank Ortmeier,;  Antoine Rauzy,;  Simon Struck, 

Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica
In: Reliability Engineering & System Safety, 2015

Buchbeitrag
Nykolaychuk, Mykhaylo;  Ortmeier, Frank 

Coverage Path Re-planning for Processing Faults
In: Vol. 9245, 2015, S. 358-368

2014

Abstrakt
Alatartsev, Sergey;  Belov, Anton;  Nykolaychuk, Mykhaylo;  Ortmeier, Frank 

Robot trajectory optimization for the relaxed end-effector path
In: INCINCO 2014 : abstracts. - INSTICC; 2014, Paper Nr. 230

Publikationslink   

Nielebock, Sebastian;  Gonschorek, Tim;  Ortmeier, Frank 

A graphical notation for probabilistic specifications
In: VeriSure: Verification and Assurance : 23 July 2014, Vienna, Austria ; in association with Computer-Aided Verification (CAV) 2014, part of the Vienna Summer of Logic ; programm. - Vienna

Publikationslink   

Begutachteter Zeitschriftenartikel
Hebecker, Tanja;  Buchholz, Robert;  Ortmeier, Frank 

Model-based local path planning for UAVs
In: Journal of intelligent and robotic systems : theory and applications, incorporating mechatronic systems engineering. - Dordrecht [u.a.] : Springer Science + Business Media B.V, insges. 16 S., 2014

Publikationslink   

Buchbeitrag
Alatartsev, Sergey;  Ortmeier, Frank 

Improving the sequence of robotic tasks with freedom of execution
In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2014 : 14 - 18 Sept. 2014, Chicago, Illinois. - Piscataway, NJ : IEEE, S. 4503 - 4510

Publikationslink   

Filax, Marco;  Gonschorek, Tim;  Lipaczewski, Michael;  Ortmeier, Frank 

On traceability of informal specifications for model-based verification
In: IMBSA 2014 : short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 11-18

Gonschorek, Tim;  Filax, Marco;  Lipaczewski, Michael;  Ortmeier, Frank 

VECS - verification enviroment for critical systems - tool supported formal modeling an verification
In: IMBSA 2014 : short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 63-64

Heumüller, Robert;  Lipaczewski, Michael;  Ortmeier, Frank 

A dataflow Notation for SAML - formal modeling without fearing timing constraints
In: IMBSA 2014 : short & tutorial proceedings of the 4th international symposium on model based safety assessment. - Magdeburg : Univ., S. 43-50

Lipaczewski, Michael;  Filax, Marco;  Ortmeier, Frank 

Bringing VECS to the World - challenges and accomplishments in teaching of formal model analysis
In: European Conference on Software Engineering Education - ECSEE 2014 : 27th and 28th November 2014, Seeon Monastery. - Aachen : Shaker, S. 217-228 ; Kongress: ECSEE 2014; 27 (Seeon Monastery, Germany) : 2014.11.27-28

Mäurer, Lukas;  Hebecker, Tanja;  Stolte, Torben;  Lipaczewski, Michael;  Möhrstädt, Uwe;  Ortmeier, Frank 

On bringing object-oriented software metrics into the model-based world - verifying ISO 26262 compliance in simulink
In: System analysis and modeling: models and reusability : 8th international conference, SAM 2014, Valencia, Spain, September 29 - 30, 2014 ; proceedings. - Berlin [u.a.] : Springer, S. 207-222 - (Lecture notes in computer science; 8769) ; Kongress: SAM; 8 (Valencia) : 2014.09.29-30

Nykolaychuk, Mykhaylo;  Lipaczewski, Michael;  Liebusch, Tino;  Ortmeier, Frank 

On efficiently specifying models for model checking
In: Model-based safety and assessment : 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings. - Cham [u.a.] : Springer, S. 14-27 - (Lecture Notes in Computer Science; 8822)

Publikationslink   

Herausgeberschaft
Ortmeier, Frank 

IMBSA 2014 - short & tutorial proceedings of the 4th international symposium on model based safety assessment
In: Magdeburg: Univ., 2014; 66 S.: graph. Darst., ISBN 978-3-944722-19-1 ; Kongress: International Symposium on Model-Based Safety and Assessment; 4 (Munich, Germany) : 2014.10.27-29 ; IMBSA 4 (Munich, Germany); : 2014.10.27-29

Ortmeier, Frank;  Rauzy, Antoine 

Model-based safety and assessment - 4th international symposium, IMBSA 2014, Munich, Germany, October 27 - 29, 2014 ; proceedings
In: Cham [u.a.]: Springer, 2014; Online-Ressource (X, 208 S.) - (Lecture notes in computer science; 8822), ISBN 978-3-319-12214-4 ; Kongress: IMBSA; 4 (Munich) : 2014.10.27-29 ; International Symposium on Model-Based Safety and Assessment; 4 (Munich) : 2014.10.27-29 ; [Literaturangaben]

2013

Abstrakt
Alatartsev, Sergey;  Augustine, Marcus;  Ortmeier, Frank 

Constricting insertion heuristic for traveling salesman problem with neighborhoods
In: AAAI publications. - Menlo Park, Calif : AAAI Press, 2013

Publikationslink   

Alatartsev, Sergey;  Augustine, Marcus;  Ortmeier, Frank 

Constricting Insertion Heuristic for Traveling Salesman Problem with Neighborhoods
In: Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS 2013)

Alatartsev, Sergey;  Mersheeva, Vera;  Augustine, Marcus;  Ortmeier, Frank 

On Optimizing a Sequence of Robotic Tasks
In: Proceeding of th International Conference in Intelligent Robots and Systems (IROS)

Meyer, Torben;  Trojahn, Matthias;  Strassburger, Steffen 

Using Crowdsourced Geographic Information from OpenStreetMap for Discrete
In: 2013,

Ortmeier, Frank 

Keystroke Authentication with a Capacitive Display using Different Mobile Devices
In: 10th International Conference on Security and Cryptography (SECRYPT)

Ortmeier, Frank;  Lipaczewski 

Teaching und Training Formal Methods for Safety Critical Systems
In: Proceedings for the 39th Euromicro Conference on Iv Software Engineering and Advanced Applications (SEAA 2013)

Trojahn, Matthias;  Ortmeier, Frank 

Biometric Keystroke Authentication on Smartphones Using a Capacitive Display
In: 2. Doktorandentagung Mgdeburger-Informatik-Tage 2013 (MIT 2013)

Trojahn, Matthias;  Ortmeier, Frank 

Designing an Enterprise Security Strategy for Mobile Intranet Access
In: International Workshop on Trustworthy Computing

Trojahn, Matthias;  Pan, Lei;  Schmidt, Fabian 

Developing a Cloud Computing Based Approach for Forensic Analysis using OCR
In: 7th International Conference on IT Security Incident Management & IT Forensics

Trojahn, Matthias;  Arndt, Florian;  Weinmann, Markus;  Ortmeier, Frank 

Emotion recognition through keystroke dynamics on touchscreen keyboards
In: ICEIS 2013. - INSTICC

Publikationslink   

Trojahn, Matthias;  Schadewald, Christian;  Ortmeier, Frank 

Keystroke authentication with a capacitive display using different mobile devices
In: SECRYPT 2013. - Reykjavik

Publikationslink   

Trojahn, Matthias;  Ortmeier, Frank 

Re-authentication model for mobile devices
In: 8. GI FG SIDAR Graduierten-Workshop über Reaktive Sicherheit, SPRING, S. 9, 2013

Publikationslink   

Trojahn, Matthias;  Ortmeier, Frank 

Re-Authentication Model for Mobile Devices
In: Proceedings of the Eight GI SIG SIDAR Graduate Workshop on Reactive Security (SPRING)

Trojahn, Sebastian;  Arndt, Florian;  Weinmann, Markus;  Ortmeier, Frank 

Emotion Recognition through Keystroke Dynamics on Touchscreen Keyboards
In: 15th International Conference on Enterprise Information Systems

Artikel in Kongressband
Ortmeier, Frank;  Struck, Simon;  Meinicke, Jens;  Quante, Jochen 

A Pragmatic Approach For Debugging Parameter-Driven Software
In: Software Engineering 2013 pages 199-212

Trojahn, Matthias;  Pan, Lei;  Ortmeier, Frank 

Developing a cloud computing based approach for forensic analysis using OCR
In: IMF 2013. - SIDAR, insges. 15 S.

Publikationslink   

Begutachteter Zeitschriftenartikel
Struck, Simon;  Güdemann, Matthias;  Ortmeier, Frank 

Efficient optimization of large probabilistic models
In: The journal of systems and software. - Amsterdam [u.a.] : Elsevier, Bd. 86.2013, 10, S. 2488-2501

Publikationslink   

Buchbeitrag
Alatartsev, Sergey;  Mersheeva, Vera;  Augustine, Marcus;  Ortmeier, Frank 

On optimizing a sequence of robotic tasks
In: 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems. - Piscataway, NJ : IEEE, insges. 7 S. ; Kongress: IROS; (Tokoyo) : 2013.11.03-07

Ortmeier, Frank;  Struck, Simon;  Meinicke, Jens 

A pragmatic approach for debugging parameter-driven software
In: Software Engineering 2013. - Bonn : Gesellschaft für Informatik, S. 199-212 - (GI-Edition) ; Kongress: Fachtagung des GI-Fachbereichs Softwaretechnik; (Aachen) : 2013.02.26-03.01

Ortmeier, Frank;  Lipaczewski, Michael 

Teaching and training formal methods for safety critical systems
In: SEAA 2013. - Piscataway, NJ : IEEE, S. 408-413

Publikationslink   

Trojahn, M.;  Ortmeier, Frank 

Keystroke authentication on mobile devices with a capacitive display
In: Proceedings of the 2nd International Conference on Pattern Recognition Applications and Methods. - [S.l.] : SCITEPRESS, S. 637-640, 2013

Trojahn, M.;  Ortmeier, Frank 

Toward mobile authentication with keystroke dynamics on mobile phones and tablets
In: 27th International Conference on Advanced Information Networking and Applications workshops (WAINA), 2013. - Piscataway, NJ : IEEE, S. 697-702

Publikationslink   

Trojahn, Matthias;  Ortmeier, Frank 

Biometric keystroke authentication on smartphones using a capacitive display
In: Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 (MIT 2013). - Magdeburg, S. 23-30 ; Kongress: Doktorandentagung Magdeburger-Informatik-Tage (MIT); 2 (Magdeburg) : 2013.07.16

Trojahn, Matthias;  Ortmeier, Frank 

Designing an enterprise security strategy for mobile intranet access
In: 2013 Seventh International Conference on Software Security and Reliability Companion (SERE-C 2013). - Piscataway, NJ : IEEE, S. 8-15

Publikationslink   

Herausgeberschaft
Buchholz, Robert;  Krempl, Georg;  Krull, Claudia;  Schallehn, Eike;  Stober, Sebastian;  Ortmeier, Frank;  Zug, Sebastian 

Tagungsband der Magdeburger-Informatik-Tage, 2. Doktorandentagung 2013 (MIT 2013)
In: Magdeburg, 2013; 30 S.: Ill., graph. Darst., ISBN 9783940961969 ; Kongress: Doktorandentagung Magdeburger-Informatik-Tage (MIT); 2 (Magdeburg) : 2013.07.16

2012

Artikel in Kongressband
Alatartsev,Sergey;  Güdemann,Matthias;  Ortmeier,Frank 

Trajectory Description Conception for Industrial robots
In: 2012

Güdemann,Matthias;  Mäurer,Lukas;  Ortmeier,Frank 

On modeling probabilistic aspects of failure modes efficiently
In: 2012

Güdemann,Matthias;  Lipaczewski,Michael;  Struck,Simon;  Ortmeier,Frank 

Unifying Probabilistic and Traditional Formal Model-Based Analysis
In: 2012

Kroys,Alexander;  Ortmeier,Frank 

An approach to determine mechanical hazards in VR-models semi-automatically
In: 2012

Lipaczewski,Michael;  Ortmeier,Frank 

Handlungsadaptive Produktionsassistenz
In: 2012

Lipaczewski,Michael;  Struck,Simon;  Ortmeier,Frank 

SAML goes Eclipse - Combining Model-Based Safety Analysis and High-Level Editor Support
In: S. 67-72, 2012

Lipaczewski,Michael;  Struck,Simon;  Ortmeier,Frank 

Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development
In: 2012

Ortmeier,Frank;  Struck,Simon;  Meinicke,Jens;  Quante,Jochen 

A Pragmatic Approach For Debugging Parameter-Driven Software
In: 2012

Peilicke,Sascha;  Ortmeier,Frank 

Self-healing data structures
In: 2012

Struck, Simon;  Ortmeier, Frank;  Lipaczewski, Michael 

Using model-based analysis in certification of critical software-intensive systems
In: Issue 199, 2012

Struck,Simon;  Güdemann,Matthias;  Lipaczewski,Michael;  Ortmeier,Frank 

Multi-Objective Optimization of Formal Specifications
In: 2012

Trojahn,Matthias;  Ortmeier,Frank 

Toward mobile multi-factor authentification
In: 2012

Begutachteter Zeitschriftenartikel
Güdemann,Matthias;  Ortmeier,Frank 

Probabilistic Model-Based Safety Analysis
In: Elsevier Journal of Theoretical Computer Science on Quantitative Aspects of Programming Languages and Systems, 2012

Buchbeitrag
Habermaier, Axel;  Güdemann, Matthias;  Ortmeier, Frank;  Reif, Wolfgang;  Schellhorn, Gerhard 

The ForMoSA approach to qualitative and quantitative model-based safety analysis
In: Railway safety, reliability, and security. - Hershey PA : Information Science Reference, insges. 45 S., 2012

Habermaier,Axel;  Güdemann,Matthias;  Ortmeier,Frank;  Reif,Wolfgang;  Schellhorn,Gerhard 

The ForMoSA Approach to Qualitative and Quantitative Model-Based Safety Analysis
In: 2012

Herausgeberschaft
Augustine, Marcus;  Mair, Elmar;  Stelzer, Annett;  Ortmeier, Frank;  Burschka, Darius;  Suppa, Michael 

Landmark-Tree Map: a Biologically Inspired Topological Map for Long-Distance Robot Navigation
In: 2012

Volltext

Krempl, Georg;  Krull, Claudia;  Ortmeier, Frank;  Schallehn, Eike;  Zug, Sebastian 

Tagungsband der 1. Doktorandentagung Magdeburger-Informatik-Tage 2012 (MIT 2012)
In: Magdeburg: Univ., 2012, [Online-Ausg.]; Online-Ressource

Publikationslink   

2011

Artikel in Kongressband
Ortmeier, Frank;  Lipaczewski, Michael;  Güdemann, Matthias 

Practical experiences in model-based safety analysis
In: IWDE 2011: proceedings of the 2nd International Workshop on Digital Engineering 2011. - Magdeburg, S. 31-38

Publikationslink   

Buchbeitrag
Güdemann, Matthias;  Lipaczewski, Michael;  Ortmeier, Frank 

Tool supported model-based safety analysis and optimization
In: Proceedings // 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing. - Piscataway, NJ : IEEE, S. 294-295

Publikationslink   

Güdemann, Matthias;  Lipaczewski, Michael;  Ortmeier, Frank;  Schumann, Marco;  Eschbach, Robert 

Towards making dependability visual - combining model-based design and virtual realities
In: Proceedings // 2011 17th IEEE Pacific Rim International Symposium on Dependable Computing. - Piscataway, NJ : IEEE, S. 274-275

Publikationslink   

Güdemann, Matthias;  Ortmeier, Frank 

Towards model-driven safety analysis
In: 3rd International Workshop on Dependable Control of Discrete Systems 2011, DCDS 2011, Saarbrücken, Germany, 15th-17theJune 2011, insges. 6 S. ; Kongress: DCDS; 3 (Saarbrücken, Germany) : 2011.06.15-17

Ortmeier, Frank 

Dependability in pervasive computing
In: Pervasive computing and communications design and deployment. - Hershey, Pa. : Information Science Reference, 2011

Dissertation
Güdemann, Matthias;  Ortmeier, Frank [Gutachter];  Kruse, Rudolf [Gutachter] 

Qualitative and quantitative formal model-based safety analysis - push the safety button
In: Magdeburg, Univ., Fak. für Informatik, Diss., 2011; 5, VIII, 195 S.: graph. Darst.

Originalartikel in begutachteter zeitschriftenartiger Reihe
Güdemann, Matthias;  Ortmeier, Frank 

Model-based multi-objective safety optimization
In: Computer safety, reliability, and security. - Heidelberg [u.a.] : Springer, S. 423-436, 2011 - (Lecture notes in computer science; 6894)

Publikationslink   

2010

Artikel in Kongressband
Güdemann, Matthias;  Kegel, Stefan;  Ortmeier, Frank;  Poenicke, Olaf;  Richter, Klaus 

SysML in digital engineering
In: IWDE 2010. - Magdeburg : Univ., S. 1-8 ; Kongress: IWDE 2010; 1 (Magdeburg) : 2010.06.14

Ortmeier, Frank;  Güdemann, Matthias 

ProMoSA - probabilistic models for safety analysis
In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VI. - München : fortiss, S. 7-12, 2010

Publikationslink   

Buchbeitrag
Fruth, Jana;  Dittmann, Jana;  Ortmeier, Frank;  Feigenspan, Janet 

Metadaten-Modell für ein sicheres eingebettetes Datenmanagement
In: D-A-CH Security 2010. - [Klagenfurt] : syssec, S. 359-370 ; Kongress: Arbeitskonferenz D-A-CH Security; (Wien) : 2010.09.21-22

Güdemann, Matthias;  Ortmeier, Frank 

A framework for qualitative and quantitative model-based safety analysis
In: IEEE 12th International Symposium on High Assurance Systems Engineering. - Los Alamitos [u.a] : IEEE Computer Society, insges. 10 S., 2010 ; Kongress: HASE; 12 (San Jose, CA, USA) : 2010.11.03-04

Originalartikel in begutachteter internationaler Zeitschrift
Güdemann, Matthias;  Ortmeier, Frank 

Probabilistic model-based safety analysis
In: Electronic proceedings in theoretical computer science. - Sydney : NICTA, Bd. 28.2010, 8, S. 114-128

Publikationslink   

Originalartikel in begutachteter zeitschriftenartiger Reihe
Güdemann, Matthias;  Ortmeier, Frank 

Quantitative Model-Based Safety Analysis - a case study
In: Sicherheit 2010. - Bonn : Ges. für Informatik, S. 153-164 - (GI-Edition) ; Kongress: Konferenz Sicherheit, Schutz und Zuverlässigkeit; 5 (Berlin) : 2010.10.05-07

2009

Buchbeitrag
Angerer, Andreas;  Hoffmann, Alwin;  Ortmeier, Frank;  Vistein, Michael;  Reif, Wolfgang 

Object-centric programming: A new modeling paradigm for robotic applications
In: IEEE International Conference on Automation and Logistics, 2009. - Piscataway, NJ : IEEE, S. 18-23

Publikationslink   

Hoffmann, Alwin;  Angerer, Andreas;  Ortmeier, Frank;  Vistein, Michael;  Reif, Wolfgang 

Hiding real-time - a new approach for the software development of industrial robots
In: IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009. - Piscataway, NJ : IEEE, S. 2108 - 2113

Publikationslink   

Nafz, Florian;  Ortmeier, Frank;  Seebach, Hella;  Steghoefer, Jan-Philipp;  Reif, Wolfgang 

A generic software framework for role-based Organic Computing systems
In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. - Piscataway, NJ : IEEE, S. 96 - 105

Publikationslink   

Nicht begutachteter Zeitschriftenartikel
Ortmeier, Frank;  Angerer, Andreas;  Hoffmann, Alwin;  Vistein, Michael 

Robotik aus Redmond - eine neue Ära?
In: Computer & Automation. - Haar : WEKA-Fachmedien, 4, S. 1-6, 2009

Originalartikel in begutachteter internationaler Zeitschrift
Vistein, Michael;  Ortmeier, Frank;  Reif, Wolfgang;  Huuck, Ralf;  Fehnker, Ansgar 

An abstract specification language for static program analysis
In: Electronic notes in theoretical computer science. - Amsterdam [u.a.] : Elsevier Science, Bd. 254.2009, S. 181-197

Publikationslink   

Originalartikel in begutachteter zeitschriftenartiger Reihe
Nafz, Florian;  Ortmeier, Frank;  Seebach, Hella;  Steghöfer, Jan-Philipp;  Reif, Wolfgang 

A universal self-organization mechanism for role-based organic computing systems
In: Autonomic and trusted computing. - Berlin [u.a.] : Springer, S. 17-31, 2009 - (Lecture notes in computer science; 5586)

Publikationslink   

Letzte Änderung: 28.08.2017 - Ansprechpartner:

Sie können eine Nachricht versenden an: Webmaster
Sicherheitsabfrage:
Captcha
 
Lösung: