Fix "effizienter" → "ineffizienter".

Fixes issue #16