Danke für die schnelle Antwort, F-rank.
Ich habe soeben eine Antwort des Programmierers des Themes erhalten:
Just locate the following file via ftp and download to your desktop
wp-content/themes/options/framework/functions/common.php
Delete the first function:
function has_shortcode
Gesagt, getan und das hat das Problem behoben. Wir verwenden das OPTIONS Theme was leider nicht mehr weiter entwickelt wird. Wir werden uns dann wohl mal nach einem neuen umsehen müssen.