Text this: Aufza?hlbarkeit, entscheidbarkeit, berechenbarkeit :