"calculable subsequence" Deutsche bedeutung