Update example-hofmockel.ipynb

yep