Aufgrund einer Wartung wird GitLab am 17.08. zwischen 8:30 und 9:00 Uhr kurzzeitig nicht zur Verfügung stehen. / Due to maintenance, GitLab will be temporarily unavailable on 17.08. between 8:30 and 9:00 am.

Merge branch 'develop' into 'master'

Adjusted BeamSearch to work with batch sizes > 1

See merge request !25
2 jobs for master in 5 minutes and 30 seconds (queued for 1 second)
Status Job ID Name Coverage
  Windows
passed #587663
Windows10
masterJobWindows

00:01:44

 
  Linux
passed #587664
masterJobLinux

00:03:45