"positive definite subsequence" Deutsche bedeutung