Merge branch 'ralf/big_sepS' into 'master'

add big_sepS_insert_2' and big_sepS_union_2

See merge request !787
3 jobs for master in 8 minutes and 35 seconds (queued for 3 seconds)