Bis wann müssen Mangel gemeldet werden?