Brainwerk factory; conversion of an erstwhile printing shop in Munich