ACE Editor durch minified-Version ersetzt