"linear extension" Deutsche bedeutung