Strange behaviour of ATmega128 with Arduino framework

Thanks for the insight into the implementation details.

Nevertheless I do not agree to

The LEDs are both active low, so a port register bit value 0 should be fine.