"right-continuous" Deutsche bedeutung