verriegeln is a German term which means "to close" a pressure cooker