Today I switched from the Code Markup to the Code Snippet [http://wordpress.org/extend/plugins/codesnippet-20/] WordPress plugin. Therefore I had to change the