Miele KM 3054 Operating And Installation Instructions page 52

Conversion to another type of gas
Wok burner
52
^ Remove burner cap ab and burner head c.
^ Using an M7 socket spanner, unscrew the main jet d
^ Fit the correct jets securely (see jet table).
^ Finally, secure the jets against inadvertent loosening with
sealing wax.