RIP Berlin.