Translation of "Record holder" in German