in the admin settings panel, there is Products > Brands. Is this the Woocommerce Brands Plugin? Because I need to reorder the brands and thought that it would work via drag-and-drop as described here: https://docs.woocommerce.com/document/wc-brands/
But that doesnt work. So how can I change the order of the brands?
Many thanks in advance!
Unfortunately, there is no such possibility in the theme.
You can try to search for some plugins that may help you.
Also, you can try to create static block with Brands widget and then add it in Single product page Sidebar (Appearance > Widgets).