OK, the logs show that the LUKS devices already existed before the installation. In that case YaST indeed uses the device name.