full_msg           63 old_code/2015linfty/iodof.h     std::string full_msg {"Error in IO_dune_fem::operator().\n"};
full_msg           64 old_code/2015linfty/iodof.h     full_msg += msg;
full_msg           65 old_code/2015linfty/iodof.h     throw std::runtime_error {full_msg};