Pinball machine | © Deutsches Flippermuseum e.V.