Typing in the DDR Museum in Berlin