Leases (Narrative) (Details)	9 Months Ended
	Oct. 28, 2023
Lease, Cost [Abstract]
Options to extend the lease term	five years
Option to terminate the lease	within one year
Maximum [Member]
Lease, Cost [Abstract]
Remaining lease terms	10 years