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 way the code block is activated. This is a time
consuming job if you have to do this by hand, so I figured out there