"proper time" Deutsche bedeutung