Thanks - the hoster apparently switched the PHP version. Should now work again.