Final devoicing in the phonology of German