@article{ZimmermannThienel2012, author = {Andreas Zimmermann and Tobias Thienel}, title = {Article 60}, year = {2012}, }