added local functionality for html-output