I have written the image on the USB using dd as described. The USB was not recognized by UEFI as a bootable device. So I used fdisk to check that the image is bootable, as described further down in the manual, chapter 7. fdisk showed an EFI partition which was marked as bootable. I deactivated the partition and reactivated it. Still the UEFI does not recognize a bootable device.