"double terminal" Deutsche bedeutung