Thank you for the quick reply!
Unfortunately we cannot change the PHP version on our servers. I guess we have to either live with the problem or disable Wordfence until it is patched, since it apperas only one of our sites is affected.
Take care,
Nicklas