"extra time" Deutsche bedeutung