Text this: Solution of a Problem of Barendregt on Sensible lambda-Theories