Thanks very much for the quick reply. We were a bit confused, since the extensions plugin has not been enabled in the version before as well. But anyhow, we’ve got the problem fixed. Thank you.
