Tools, helpers and more common to RWTH Jupyter notebooks: https://jupyter.pages.rwth-aachen.de/rwth-nb/