German president meets with Holocaust survivors in Jerusalem