adaptions after meeting
some proofs and start about meta-heuristics