Probably a bit off-topic (sorry), but since I don't know how they're exactly called I don't know what so search for: what are these PCIe extention cables? I can't seem to find them at my regular hardware shops