Text this: Reduktionstheorie des Entscheidungsproblems