avr32 durch avr ersetzt