The Hamburg VHDL archive