''' Download example data file needed in tutorials.
The file is downloaded to given ``filename``. If there already exists a file with that name, nothing is done.
:param filename: name of the required file :param url: if not ``None`` get file from given URL otherwise fetch it from http://data.pyrocko.org/examples/<filename>. :returns: ``filename`` '''
else:
|