fix Labelable::setMarkedTo() function; fix (not the best way, but ..) DofHandler::copy()