"to double" Deutsche bedeutung