http://pierovggsterf4w5xplynqtl56srftc242l3g2xloqlty6nv7372xuyd.onion
However, I must say I already had the firmware-realtek package, as my Ethernet card was also made by Realtek. Even the hotspot functionality worked. So, no more git cloning, DKMS, etc ๐. For Bluetooth, I was not as lucky. It could see my phone, but it failed to pair.