"theoretical computer science" Deutsche bedeutung