Should be deleted - it is (very) old unused code.