<html>
<head>
<script>
function extractc(j) { var sel = window.getSelection();
var b=document.getElementById('b');
var range =document.createRange();
range.setStart(document.documentElement, 0);
range.setEnd(document.documentElement, 0);
sel.addRange(range);
range.extractContents();
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.