GitLab

Instead of writing the restart file name of the H5-file, the input file base name
with extension *.h5 was printed to standard output.