heineb; TODO: check Eigenvals