with std::partial_sort_copy we come much more closer to the desired result, but only closer
Authored by: heiko 2013-01-16
Parent: [r418]
Child: [r420]