Digital electronic circuit