Have just returned from a break at a hotel - one of a chain - known for being friendly to toddlers and small kids and realise that we’re in the process of growing out of them. So: any recommendations for good family hotels - UK or Europe - which suit kids aged 9+? Thanks in advance!