html: first implemenation of html output