I'd even say most Germans treat 13 the same way as 7, 69, 666, or any Schnappszahl (repeating digits, e.g. 11 or 3333): "oh, nice" and a shrug. It's not so much

I'd even say most Germans treat 13 the same way as 7, 69, 666, or any Schnappszahl (repeating digits, e.g. 11 or 3333): "oh, nice" and a shrug. It's not so much unlucky as just "spooky" but very few would lose any sleep over it. In fact I probably know more Germans who ironically insist that it's their lucky number than Germans who'd refuse e.g. sitting on seat 13 in a train.