Mit Greasemonkey !DOCTYPE einbauen...?