Currently offered is this space age Krups travel electric 1 cup coffee maker made in Germany circa 1983. This was marketed as a travel coffee maker and comes with a scooper, travel bag and instructions. This originally had a plastic coffee cup but it cracked so I am replacing it with a matching new ceramic Starbucks coffee mug which is much better. Very cool clean and working.  Thanks for looking!