"notched pin" Deutsche bedeutung