@benjamin ;-) Nobody does industrial like the
man @richardpatrick! Good choice to start a day!