Papbuikhoeve is weer Dommelhoeve geworden