10 of the best hotels in Berlin

A repurposed 19th-century public bathhouse, an old factory housing vintage caravans and a former Stasi spy hub are among the eclectic places to stay in the German capital