export.jsp: verschönerung