"double dash" Deutsche bedeutung