For the tiptel 32XX devices, the following URL applies: https://updates.tiptel.nl/tiptel/
This is a secure site, which only works if you have not customized the update URL yourself!