"linters" Deutsche bedeutung