Added support for the optional downloading of "Hinweissätze".
Added support for the optional downloading of "Hinweissätze".

ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools,ubtue/ub_tools