Willem III Koning der Nederlanden Willem de Derde, Koning der Nederlanden Groot Hertog van Luxemburg enz. enz. enz.