<!DOCTYPEhtml>
<meta charset="utf-8">
<script>
// DO NOT move this script to the end of this file
// as the bug depends on this specific tree structure
document.addEventListener("DOMContentLoaded", () => {
window.getSelection().selectAllChildren(document.body)
window.getSelection().modify('extend','left','word')
});
</script>
<table>
<caption>
<caption>
Messung V0.5
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.
