"partial pivoting" Deutsche bedeutung