google-code-prettify gegen CodeMirror getauscht,
da google-code-prettify wohl nicht in textareas funktioniert. Testseite: /sql/editor