A temporary solution (or to test this patch) is to use a kernel parameter in grub2.
https://www.kernel.org/doc/html/v4.19/admin-guide/kernel-parameters.htm l In line "linux" before "quiet" add "usbcore.quirks=045e:07c6:k" (means -> VendorID:ProductID:Flags) and after booting the docks Ethernet is working fine. I do not know if using this quirk is a good solution, but because the quirk is bound to a specific VendorID and ProductID it should not conflict with other usb devices.
